[...]

>
> that should not break much - except for forcing "uppercase" principals,
> i.e. in general it is not compatible with existing setups...
> should be no problem for new ones.
>
> Anyway, the _code_ that the patch tries to fix is basically very wrong.
> There should be _no_ hostname used for the auth service principal,
> we were just inventing a problem.
What else should that be then? Something like coda/coda.realm_at_REALM

> I do not think either that the code is worth improving.
> I'd rather like to replace it with the experimental new modular one.
Is there any yet? Where can I find it?

> I guess the prolem the patch fixes is triggered by hosts lookups returning
> uppercase hostnames. In that case the patch can be used as a nice
> workaround.

Indeed...

Thanks in advance,
Michael