Found a new Sphinx extension for redirects

[choldgraf]

Just came across this (new) extension and it seems useful! Potentially something we could recommend in JB? https://github.com/wpilibsuite/sphinxext-rediraffe

[jstac]

Awesome project logo :-)

[mmcky]

Oh this would have been useful in our project migrations at quantecon :-)

[chrisjsewell]

It will be, now that I've fixed it up 😉 sphinx-doc/sphinxext-rediraffe#17, sphinx-doc/sphinxext-rediraffe#19