I qualify as a Linus defender, but I disagree with your "he's the boss and it's up to his contributors to leave" idea. The whole point of these discussions is to use reason to encourage problematic people to change themselves, rather than cutting those people off entirely, as you suggest.