Thanks! And what about https://www.openstreetmap.org/node/5124098678 and https://www.openstreetmap.org/node/5124098672?  Shouldn't crossing=traffic_signals be changed to crossing=unmarked? Otherwise it still shows on the maps as traffic signals, and (according to the wiki) is penalised in some routings.