Rename HelloWorld.mod to HelloWorld.md