Rename manual.html to index.html.