Renaming index.html.