This had been mapped back in 2020 (https://www.openstreetmap.org/changeset/88409426) but was unnecessarily deleted/marked as disused last year (https://www.openstreetmap.org/changeset/131836416) due to a temporary closure. Now updated in https://www.openstreetmap.org/changeset/157792808