On a totally different note, I am still awestruck by the fact that, almost in my lifetime (certainly in my older brother’s lifetime) we have explored all eight of the other planets. Even if Pluto got demoted, it’s still a remarkable thing. My much younger self, astronomy head that I was back in the early 70s (before anything had even flown past Jupiter) would be gratified.
