Update and rename HelloWorld.mdgi to HelloWorld.md