Unable to answer "Do these traffic lights have a button to request a green man?" – Crossing With Pedestrian Signals – https://osm.org/node/3444688264 via StreetComplete 63.1:

No pedestrian signal here