Update and rename HTML to HTML.html