Renamed to index.html.