They've just started closing it off. Pedestrian routing hasn't changed yet, but probably will soon. Updated in https://www.openstreetmap.org/changeset/102351972, will try to update transit relations, and will keep an eye on the pedestrian paths.