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

No signal across cycle track 