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