So fwiw, the change was made official and updated in GNIS the day it changed on Google Maps, which uses GNIS behind the scenes. That same day, USGS said the name had taken effect in GNIS but that it was waiting for its maps to visually update.
I think this is a product of Google's infrastructure being faster to automatically update with GNIS changes. The fact they didn't step in to override it already shows that they're willing to go along with this; I don't think the fact it changed before USGS adds any significance to that bootlicking.
That is, I don't assume Google manually intervened to make this happen faster.
Still, fuck Google Maps. I'm glad people are waking up to how this level of hegemony over maps gives corporations too much power.