On Pluto, planets, and the precepts of naming