Or, before the recent controversy, name any of the prior Mozilla CEOs. (It hasn't seemed to be an organization reliant on big-personality/high-profile CEOs.)