@LouisIngenthron People do tend to assume, improperly, that planet means "major planet". But that seems silly to me.
I was fine with the old definition really.
Everything is a planet, you just have primary and secondary planets depending if its a primary or not.