Was ditching Mozilla's CEO over his donation to Prop 8 a good thing