Isn’t it redundant to add the crossing nodes, given that the crossings already exist as ways? That’s just creating another object which is going to need all the same tags as the crossing way. That feels like it violates https://wiki.openstreetmap.org/wiki/One_feature,_one_OSM_element to me

Is there precedent for this, or some tagging guidelines saying to add the nodes?