Rename HTML to HTML.html