Manpages of src:debian-science in Debian stretch