Side remark: One twelfth of Mozilla’s annual revenue goes directly to its highest-paid employee? Talk about 10x programmer, that lady must be a genius.
The numbers are probably from the Mozilla Foundation, which only employs a few people, so obviously they're going to be remunerated highly percentage-wise.