Manpages of mediawiki2latex in Debian stretch