Dear Maintainer,

I have created a small package for myself that changes the Grub boot menu to contain the
hostname (so that booting from removable media is made abundantly clear). So far I have
made this package dependent on grub-pc or grub-efi, so this would help avoid listing all
architectures in the dependencies.

In the configuration files below, ‘Gabriel’ is used as hostname.