Unable to answer "Do these traffic lights have a button to request a walk signal?" – Crossing – https://osm.org/node/9019584369 via StreetComplete 63.0:

No traffic light here, neither for cars nor for pedestrians.