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

There is no traffic light