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

Yes, but only from 7:00-9:00 and 17:00-19:00

Attached photo(s):
https://streetcomplete.app/p/339571.jpg