Comment by ChrisClark

But why? There is no reason to care about the classification of Pluto. Why don't you just define that you're okay with it not being a planet?