CTO would've been appropriate, but not CEO. Mozilla could not keep a CEO donating to ban gay marriage. I rather doubt even Microsoft would've kept him. It's divisive and distracting, especially for a public benefit organization. They made the right call.