✏️ Editing: grub.old.0