Eh, common usage often precedes official changes. I grew up thinking there was a US state called "Rhode Island", and finally in 2020 that became the reality. https://www.nbcnews.com/politics/2020-election/rhode-island-...