But then, what happened to https://www.openstreetmap.org/way/171937875 ? Is it still traversable?

Survey recommended. Can also check things like details and extent of concrete cover, state of https://www.openstreetmap.org/way/109195927 etc.