>
>> > Besides, which German are you talking about? There are several
>> > German-based locales, each one with its own local tailoring.
>>
>> It doesn't matter.
>
> If this "doesn't matter", then why do you insist on this?
I mean, it doesn't matter which German collation you use, any will do.
>> What good for is this consistency if it is extremely
>> user-unfriendly?
>
> It will be "user-unfriendly" anyway, if we use one flavor of German,
> because users in a different locale will not expect that.
Well, this is an exaggeration. The differences are really so minor
that nobody will notice them except if one is looking for the details.
It's ok if there is no collation for the index by default, and the
user has to explicitly enable it, but actively preventing it just 'for
consistency' is bad IMHO, and this attitude saddens me.
Anyway, I'm not the Texinfo maintainer. I've voiced my opinion, and I
agree with you that it is futile to discuss this further.
Werner
