This is drawn in manually. Because there is no curb cut on the other side, I would personally not draw a crossing here. My metric is usually if there are lowered curbs, I will draw the unmarked crossing even if it is an inadvisable one. But if there aren't, I won't draw the crossing.

I've gone ahead and removed these. https://www.openstreetmap.org/changeset/153344958