michaelg/dev: links for pdf-check