michaelg/dev: links for helloworld-hz