Rename HelloWorld.md.html to HelloWorld.md