Yes. That is 200k more than what Firefox should be paying for a non dev.
Could they hire 2 100k developers more ? I would be happy if that was done.
Its not like Tim cook has to manage "shareholders expectations" or "show off the company is well off that they can pay a CEO so much".