If everyone except the IAU decided to keep calling Pluto a planet, that's just a divergence between technical definitions and popular ones (the latter of which is not well defined). This happens all the time, and it's not particularly interesting.
No comments yet.