Manpages of texlive-velthuis-doc