As everyone knows by now, Pluto was recently demoted from “planet” to “dwarf planet”. (“Dwarf planet” is an unfortunate name; for a readable explanation of why, try this article by a linguist.) For some folks, this change is of huge importance; for others, it means nothing. It doesn’t matter to the astronomers themselves, for example Continue reading