On 21 Oct 2008, at 11:36, Doug Ewell wrote: > (Surely I can't be the only one who bristles upon hearing that Seoul > is the capital of "Korea.") I can't say it bothers me. But then I live in a country whose capital is Dublin, but whose formal name is not "Republic of" which evidently chafes for some folks. Michael Everson * http://www.evertype.com