Unable to answer "Do these traffic lights have a button to request a green man?" – Traffic Lights – https://osm.org/node/13398908797 via StreetComplete 63.1:

Button on pedestrian crossing a bit more to the souteast

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