re: #233 The Very Reverend Battleaxe of Knowledge

Pluto’s new diameter gives it an area of ~6,816,000 square miles—a little larger than Russia.

Then let’s rename it Plutin