I hope they did sell it. It’s right for there to be consequences for not being a critical thinker.

Not that Debian Linux is bad. But selling a machine and setting up a new one is friction that I don’t mind seeing imposed as a cost of unthinkingly following cognitive bias.