I'd never realized this, even after a year of living as a pedestrian in the UK, but this finally answers my question of why the pedestrian lights take so freaking LONG to turn green here. It may be intended as a pedestrian-friendly measure, but it FEELS like an intense annoyance, and the natural result is that everyone just crosses on red.