7

Das scheint mir eher eine Frage der Klassifizierung (railway=station vs. railway=tram_stop)
und der zugehörigen Render-Regeln für Mapnik sowie des Verdrängungsalgorithmus bei
sich überlappenden Namen zu sein. Für letzteres wäre ein kürzerer Namen natürlich günstiger.

Aber wir sollen ja Namen nicht abkürzen, was ich im Grunde auch für sinnvoll halte.
Ausweg wäre ein Key short_name=* der bei Fällen mit zu wenig Platz statt des normalen
längeren Namens angezeigt werden könnte.

Übrigens händeln OsmaRender, Radfahrerkarte und Straßen ohne Namen den von dir
angeführten Fall jeweils unterschiedlich.

Edbert (EvanE)