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

No button needed for walk signal.