✏️ Editing: grub-pc-bin.list