Yes I think you're right. Didn't take a photo, but I remember walking through there recently and it's paved now. So I will swap this from highyway=residential to highway=pedestrian https://www.openstreetmap.org/changeset/180005506

Previously it was tar-macced like a normal road with double-yellow lines. Kind of bizarre given how narrow it was, and always with a bollard on one end. You can just about see it in this 2019 image: https://www.mapillary.com/app/?pKey=178452217399642&focus=photo
But common sense has prevailed. It's no longer for cars at all.
