Thanks for explaining, I've never heard about this. In my social circle, nobody would seriously try to argue that it should still count as a "real" planet, but we still refer to Pluto-as-planet in an affectionate, nostalgic way.