Renamed some html files.