Manpages of src:grub-customizer in Debian stretch-backports