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

Ci passo spesso ma non ci ho fatto mai caso poiché dura poco il semaforo