Renamed HTML file