I think you are splitting hairs here. Who cares if it was overbooked or not. They were kicking him off of the plane for no good reason.
If nobody cares it was overbooked or not - why is it mentioned repeatedly on this thread?
There are different rules for overbooking versus crew travel.