Manpages of jets3t in Debian testing