A reminder to myself: grub-efi appears to be missing from the installer image, reducing its value as an (off-line) rescue system. Inspect the size increase and add it if at all reasonable. Kind regards, T G-R