Manpages of binfmt-support in Debian stretch