Yeah, Alan refuses to call Pluto anything but a planet. He wrote a pretty good article a few years back called “Gravity Rules” where he put forward a reasonable definition of planethood.
I have it on good authority that a guy in charge of giving numbers to asteroids started this whole controversy. He got tired of people spotting Pluto and thinking it was an asteroid, then asking him for a number...