Also they shouldn't have called the category of "things that aren't planets despite being in some ways planet-like" "dwarf planet," they should have called them "planetoids." Star Trek had been referring to small planet-like objects as planetoids for decades, so the work in the popular consciousness had already been done. Dwarf planet not being a planet makes it sound like they're saying dwarf people don't count as people, and I don't care for that at all.