Hi!
Is this an ongoing discussion? I support the idea to add
[‘highway’ !~ ‘bus_stop’]
and
[‘public_transport’ !~ ‘platform’]
The waiting areas at bus stops are supposed to be tagged as highway=bus_stop. So there is nothing we can do to correct OSM data here.
As far as I can tell, there is no need to include highway=bus_stop. Even if there is a road, the bus stop is never part of the road. There are always extra nodes for the stop. So we wouldn’t exclude any actual streets.