✏️ Editing: grub-install