Thanks, marked as disused/not present in https://www.openstreetmap.org/changeset/176832872 (updating the tagging this way rather than deleting it makes it easier to reinstate should it ever be put back in service)