And yes, he was named for the planet. Pluto had recently been identified by astronomers, and the headline-catching name ...