Renames HTML file