✏️ Editing: grub-editenv