Fix format in /docs/index.html redirection page.