✏️ Editing: grub-mkconfig