If someone entering either name gets to the right page, and if both names are bolded in the first line of the article, I'm not sure why it's so important which name is the official page name. -Matt