HelloWorld: change file extension to md