I see—thank you for the explanation! Now I see that https://wiki.openstreetmap.org/wiki/Tag:public_transport%3Dplatform (since https://wiki.openstreetmap.org/w/index.php?title=Tag:public_transport%3Dplatform&diff=1489668&oldid=1489666) and https://wiki.openstreetmap.org/wiki/Tag:railway=platform are inconsistent about this matter—I used the latter as a reference.