Stimmt, das war halt mal ausreichend, jetzt kann / will man es noch besser machen...
Nach Wikistudium hab ich das hier jetzt noch konsequenter gemacht:
https://www.openstreetmap.org/changeset/100538672
Ist aber auch logisch recht gut nachzuvollziehen, ich werd mir das merken ;-)
@rigilk3nt, wenn du das mit deinem Navi (nach Kartenupdate) mal ausprobieren könntest, würde mich interessieren, ob die Fußgängerüberwege als eigene Ampel gesehen werden oder nicht. Gerendert wird nur "highway=traffic_signals", nicht "crossing=traffic_signals".