Manpages of grub-emu in Debian stretch