Comment by closewith

The BBC are quite poor at this kind of thing, preferring their style guide to official names. The still use Czech Republic for Czechia, Republic of Ireland for Ireland, and Turkey for Türkiye.