Given that she is barely even worth the lower, 80%-discounted salary, I don't find that a compelling argument.

I would much rather a lower-salary, less-experienced CEO who actually cares about the mission enough to accept that salary, than someone who has presided over an erosion of Firefox's market share and significant layoffs, while still increasing her own salary. Clearly the system is not working by paying their CEO a market rate.