re: #117 ggt

Mercury is still a planet, right?

It is…. Pluto is in dispute.