sysadmin/manpagestopdf.sh: more manpages