Rename HelloWorld.mc to HelloWorld.md