Renaming the HTML file.