Thanks! The wrong tag was highway=crossing, it's a cycleway=crossing. I also corrected the other highway=crossing nearby, which is a footway=crossing (see https://www.openstreetmap.org/changeset/98827794).