sphinxcontrib-redirects (pypi): Sphinx extension to generate JavaScript-driven redirects for moved pages
Keywords: sphinx