Vielleicht, es gibt aber bereits einige Ticket für die Namensgebung und dies schon seit längerer Zeit. Und solange es keine Programmierer gibt, die mit den Sourcen umgehen können, nützen auch Tickets nichts.

Das nützt auch nicht. Wie schon gesagt “Zudem glaube ich nicht, dass man mittels Algorithmus jeden Fall sinnvoll abdecken kann”.

UTF-8 ist Standard-Zeichensatz, jeder Renderer muss damit zurande kommen. Ich glaube auch nicht, dass es da überhaupt Probleme gibt.

Diese Bemerkung ist hier völlig unangebracht.

Wyo