Ja das ist wirklich falsch. Vermutlich copy&paste Fehler. Ich habe  das mal korrigiert und highway=platform etwas verkürzt und verschoben. Wäre eigentlich auch nicht wirklich nötig an dieser Stelle da es bereits platform-Knoten gibt https://www.openstreetmap.org/node/698565158 der auch in allen Routen-Relationen verwendet wird. Aber so wird der Wunsch des vorherigen Mappers einigermaßen korrekt abgebildet.