> Although there is also no definition of "common usage".. am I missing something
Common usage is defined in the article as the widespread name used by the local people to refer to it.
Common usage is defined in the article as the widespread name used by the local people to refer to it.
Yes, a lot of publications reported on the presidents action. I do not have the same experience as you that there's widespread use of the alternative name outside of this context.
The only change I can read from it, is that they don't need to apply a renaming from Day#1