Czechia (formerly Czech Republic) is also trying to change their English-language name; in both cases seems like a reasonable request and worth respecting, at least when it comes at low cost (I wouldn't rush to reprint maps or anything just for this, but am happy to use the terms in new materials including typing it in comments.)
Language is too complicated to wrangle. I don’t care if they add their new names to urban dictionary, but surely it just causes confusion to change definitions under the feet of billions of speakers.
