I thought we had a bit with that name on it, but maybe not. I agree it should be that name along here and all the along the pedestrian bit to the east (past the "Holland Walk Housing Office"). In fact I have just joined it together in a longer highway=pedestrian section (should look better) and added that name. https://www.openstreetmap.org/changeset/150589411