On 3/17/24 6:31 PM, Bruno Haible wrote: > Well, one can also see it the other way around: With single quotes > everywhere, it's more consistent.
LOL, fair enough. > Feel free to find more arguments for one or the other. I'm undecided, > but it would be a major change, so one should think about it for a while > first. Sure, I'm not in a rush to make the change. Maybe someone else on the list will have strong feelings on the topic and will try to convince us. :) Collin