Manpages of grub-customizer in Debian unstable