Update and rename HelloWorld.mod to HelloWorld.md