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

Aqui há somente uma travessia, porém aparentemente está mapeada mais de uma

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