I quote Cap. 374G (39)(a)(ii):

> No pedestrian shall cross a road within 15 m of a light signal crossing otherwise than at the crossing where such lights operate.

This is around 39 metres from https://www.openstreetmap.org/way/1180365855. We can probably do `not:highway=footway` + `not:footway=crossing` + `crossing=no` + `was:highway=footway` + `was:footway=crossing` + `was:crossing=informal`.