✏️ Editing: grub-mknetdir