Unable to answer "Do these traffic lights have a button to request a walk signal?" – Crossing – https://osm.org/node/6250798883 via StreetComplete 63.0:

歩行者信号延長押ボタン

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