I wondered how much it was, and did a quick search. Apparently Sundar Pichai (Alphabet) had a total comp equivalent to ~0.13% of the revenue, and Tim Cook (Apple) was at 0.05%. So Mozilla's CEO is at 3 to 10 times more than those two examples, while arguably underperforming them.