Ok, this photo is the right crossing! https://www.instagram.com/p/CzL7qU9IXau/

I believe this is a "puffin" crossing. I've fixed the data which previously had crossing=uncontrolled: 
https://www.openstreetmap.org/changeset/143576652  