I'm not sure that punishing is the right word here. people who did what they did, whether it be his board leaving, or people uninstalling firefox,or op-ed letters or forum comments. All that is not punishment, that is nobody was deprived of anything. Negative public sentiment is a tough thing. But I think that it actually represents democracy quite well. Democracy can do the morally wrong thing, it can keep a minority enslaved for example.