Manpages of lhs2tex in Debian testing