✏️ Editing: krb5.config