Manpages of python-plastex in Debian testing