Manpages of xmldiff-xmlrev in Debian stretch