Manpages of ptex2tex in Debian buster