Wenn ich https://wiki.openstreetmap.org/wiki/Tag:public_transport%3Dplatform#Tags_used_in_combination so lese, bestätigt das meine Vermutung; highway=bus_stop ist als "important" eingestuft, highway=platform "optional"