"
Korean users are obviously making this into some sort of a bizarre ""Korean pride"" sort of thing. Moving the article to a different (more common) name does not ""downgrade"" the article. And even if you could argue it would, it doesn't really matter to Wikipedia Guidelines (do read them, btw). Please try and widen your horizons and not just look at this from a strictly Korean nationalistic perspective.  "