Unable to answer "Do these traffic lights have a button to request a walk signal?" for https://osm.org/node/3759540430 via StreetComplete 47.2:

Es gibt den Taster, dieser muss aber nicht betätigt werden. "Signal kommt" erscheint immer sobald es rot ist.