change HelloWorld file extension to .md