After decades of increasingly confused arguing, Pluto is reclassified as a "dwarf Pluto."