Update and rename HelloWorld.tex to HelloWorld.md