I enjoy how Bing Maps (and Bing in general) are so unloved that it's not even part of the debate. (Bing Maps hasn't changed - yet - but probably will eventually, since they caved on the Gulf of Mexico)
And for things like official geographic names, government naming databases are often one of the authoritative upstream sources. So if the U.S. government changes the name in its official geographic database, it’s not surprising for that change to eventually propagate through map providers and into Bing.