Follow-up question: what if other countries follow suit, especially ones that don't use a Latin-based alphabet? Egypt is formally called "جمهورية مصر العربية" in its native language - should that be recorded as the ISO Full name for EG?
The current official name is "Junhuriyah Misr al-Arabiyah" which is Arab Republic of Egypt in English. This is not something special. a lot of countries have something like "republic of" in their names.
Well, that depends. The name for China the administrative region is 中华人民共和国, but I wouldn't really want to call that the name of the country. That's 中国, and if a regime change occurred, the name of the country would still be 中国, even if the name of the government were no longer 中华人民共和国.