I have printed the pages, but there are no page numbers. In my opinion, the pdf and odt should be part of a release rather than being stored in git.