Unable to answer "Do these traffic lights have a button to request a walk signal?" – Crossing With Pedestrian Signals – https://osm.org/node/11012857469 via StreetComplete 62.2:

No traffic light here