Rename HelloWorld.html to hello.html