And if you think that’s a weird hangup from the past, remember that Americans, including very educated ones, are still currently mad (like, actually mad) that Pluto got demoted to Dwarf Planet. Because it’s the only “planet” discovered by Americans.
Pluto can be a planet if you want but then so are Ceres, Eris, Gonggong, and the several other dwarf planets, else your argument stands on nothing more than naked chauvinism. Which is usually how it goes.
By contrast I never personally heard anyone in the francosphere seriously complain about Pluto’s status, nevermind keep including it in the list of planets as an act of defiance. Because who cares (the Americans, that’s who).