Binary packages containing manpages in Debian stretch-backports