I'm largely neutral on this one. Naming things is largely an exercise in taxonomy. In the end, it has no real practical relevance to the science itself what things are called. See also: does it matter to Pluto if it is a planet or not?

But I guess there's some public outreach benefits.