Farewell Pluto, now demoted to being merely a dwarf planet.

I guess we should think ourselves lucky it’s not red. 🙂