I find it a little strange that a dev wants a country mislabeled, just because he "happens to like that name more". But I guess we should be glad it's just for a short-lived minor. Imagine the USA being called "United Provinces of America" or something, just because he likes that name more (hmm, but that would affect sales, so is unlikely).