OK, I added crossing=traffic_signals to the ways (changeset 157090817). I don't really understand what the difference is supposed to be between tags on the crossing nodes and tags on the crossing ways.