[Tagging] Was public_transport=platform intended to always be combined with highway=bus_stop?

[Joseph Eisenberg]

I read up on the rather exhausting history of public transport tagging.

The strange thing is that the approved proposal which introduced
public_transport=* and the current public_transport pages suggest
using bus=yes only for public_transport=stop_position. In contrast,
public_transport=platform doesn't have bus=yes added.

Does this mean that tagging highway=bus_stop on the same node as
public_transport=platform is the approved way to specify that a
certain "platform" is a bus stop?

It certainly looks that way. Does this mean that tagging
public_transport=platform + highway=bus_stop was the tagging that was
intended by the proposal to specify bus stops, and
public_transport=platform + railway=platform for train platforms, etc?

It appears that the proposal specifically said that the existing tags
like highway=bus_stop were not deprecated. Current usage confirms
this: in the past year just as many (or perhaps slightly more?)
highway=bus_stop have been added as a public_transport=platform -
about 350,000 each - though the latter tag also can be used for
railways, trams, etc.

Joseph