Renamed genindex.html -> index.html.