Manpages of src:hyperestraier in Debian stretch