Well, what Linus said IS personal, and I'd say it's bigoted, though that's harder to define.
But, if you have to put up with it to deal with these people, so be it.
But, if you have to put up with it to deal with these people, so be it.
These words apparently mean different things to us.