Not really missing but tagged as disused:* after a survey I made in 2020: all the traffic lights had been turned off in what appeared at the time to be a plausibly permanent change.
https://www.openstreetmap.org/node/7544315896/history

I restored normal tags.  They should be visible on the map now.