Am Montag, den 05.02.2024 um 23:44:10 Uhr +0000 schrieb Sam James : > [...] > > +However, this will clobber any BOOTX64.EFI image provded by other > > +loaders. If dual-booting using another boot loader, users must take care > > +not to replace BOOTX64.EFI if it is not provided by GRUB. Hi, I think you meant "provided" here (missing "i"). Looks lgtm otherwise. > [...]