Rename HelloWorld.mx to HelloWorld.md