text: From what I remember, this pedestrian crossing has a minimap (see https://wiki.openstreetmap.org/wiki/Key:traffic_signals:minimap for more information), but I can’t check in place. Can someone confirm it?