Manpages of lhs2tex in Debian buster