2013-04-09: hoodle-publish.hs is from hoodle-tools/exe/createpdf.hs