> In fact, near the end of that paper he proposes not two, but five classifications of planets: subdwarf, dwarf, subgiant, giant, and supergiant.

Yes, “classifications of planets”. So Pluto would still be a planet. Then if you wanted a more specific modifier you could add it, but it’s still a planet.