Redirect permanent index.html html/sphinx/index.html
