Anoter TODO
Do not link to PDF manual by default

PDFs are bad for storing in a git repository, and most people
won't be interested in downloading this from us anyway. So do
not force package authors to put it onto their gh-pages (they
still can do so by modifying the template if they want; OTOH,
users can download the PDF manual from gap-system.org...)