This doesn't sound like a science way of doing things. The definition of planet would have to be literally changed to add "Or has to have been discovered before 19XX" in order to keep Pluto without becoming an unbounded set. If you're annoyed at all the pedants correcting kids or anyone else talking about the nine planets, I'd take it up with them for uselessly debating such a fine distinction, like a chemist arguing about the word "Sodium" on a Nutrition Facts label.

I would argue the colloquial definition has indeed been changed in the above way, in that most people would say that what Mars, Venus, and Pluto have in common is they're all planets, and only a few would remember the odd factoid that the dwarf planet designation was created.

It's okay for the colloquial definition to be different than the scientific one. There isn't any use case where that will harm anyone. It's not like we're chartering flights to "All Planets" where space tourists are going to be ripped off, limited to 8 planets by the technicality and missing out.