jdinius: add HelloWorld.md