I don't love the CEO bonuses, but they are objectively less than half a percent of Mozilla's budget. Google search on the other hand is 85% of their revenue.
Any other CEO with a similarly sized company, revenue stream, and user base in Silicon Valley would be making 2-3X what Mozilla's CEO makes when you consider total compensation.