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

There are no traffic lights here any more

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