Rename HTML to HelloWorld.html