Binary packages containing manpages in Debian stretch