text: Well it's mapped at https://www.openstreetmap.org/node/1278934476 last edited 2nd of July 2019, then this note 14th of July 2019 saying it doesn't exist, unlikely it was closed in that short time in between, so I think best leave it open, so apps like StreetComplete can ask ground surveyors.