Ha ha! No sooner do I submit my last entry than I switch to the news sites and see this news:
Astronomers meeting in the Czech capital have voted to strip Pluto of its status as a planet.
So, it is done. I also believe they’ve voted on the actual definition, but I’ll wait a bit to make sure. Full entry later on!