✏️ Editing: grub-multi-install