Manpages of src:config-package-dev in Debian stretch-backports