Is there really a Planet 9 out there in the Kuiper Belt?

If we’re going to accept Ceres and Pluto, there’s pretty much no way we can stop at just ten planets. In addition to Eris (the discovery of which is pretty much responsible for Pluto’s official de-planetization) there’s also Haumea and Makemake–which would bring us to thirteen–and possibly also Gonggong, Quaoar, Sedna, Orcus, and Salacia, not to mention a bunch of things that (so far) are just strings of letters and numbers (“(307261) 2002 MS4”).

Like I said 13 years ago (wow, time flies), I think it would be shiny to have dozens and dozens of planets, but I guess the IAU isn’t likely to put me in charge.