Wenns um OSM-Carto geht, und andere gestrige Renderer, wie zB meine Lieblingsapp am smartphone, dann kann ich mich nur wiederholen: Den bus_stop auf einen Knoten der Plattform setzen.

Die Markierung platform:type hab ich irgendwann angebracht weil ich highway=platform für einen schlechten Tag halte und mich nicht traute, die zu bus_stop Knoten umzuwandeln. Aber wo Gehsteige eh separat da sind, da braucht es die nicht mehr und die können entweder als solche ins Netz integriert werden oder in separate Gehsteige umgewandelt und die ganze Historie bleibt erhalten. Und Router müssen die nicht ignorieren um brauchbare Ergebnisse zu liefern.

Die Bussteige am Terminal Marktplatz oder am Bahnhof sind eventuell ein Gegenbeispiel, viele davon gibts nicht in Innsbruck.

PS: Bist du im Kontakt mit Leuten die das nutzen? Die Blinden meines Wissens nutzen nichts außer google und BlindSquare.