Renames typ0.html to index.html.