That’s up to them, I think. There’s precedent for countries changing their official English names.
See Czech Republic -> Czechia and Turkey -> Turkiye
Yeah, but at the same time those name changes aren’t very well respected by westerners.
It’s kind of weird how the west respects eSwatini (well, “Eswatini”) more than it respects Czechia.
Eswatini is more respected than Czechia which is more respected than Türkiye. Chinese people are referred to in Chinese name order, but Japanese people are referred to in Western name order. Pinyin is finally used by Americans but they omit the tone marks. We really are all over the place…