Manpages of ptex2tex in Debian testing