It continues to amaze me that OpenStreetMap is not massively plagued by this (I know that MapBox uses OSM as one of many sources, as mentioned in the article, but the changed name did not appear in the live OSM map, afaik, so I am guessing it came from somewhere else). In the past, the main explanatory argument was always that OSM's complicated editing process was the gatekeeper, but I don't think this is true anymor…
Mapbox don't keep their maps up to date, and probably used a snapshot of the data which happened to have gotten in the few hours before it was reverted.