Wikipedia is unreliable. Perhaps you missed it, but Verizon bought Yahoo!, realized how Marissa's five year default search deal with Firefox was bleeding money as most users reset their default to Google, and Mozilla and Verizon declared the other party in breach in rapid succession. This will go to court, and my money is on Verizon. There will be no balloon payment of the last two years.
The jump in comp in 2017, as far as I can tell, was predicated on the Verizon payments being fulfilled. I hear it was also a quid pro quo for Foundation board members who demanded (order of magnitude smaller) salaries for their work as board members. Perhaps they do a lot, but in past, board members (including me) worked for no added comp.
Mitchell may be worth it, but I'd want more of a turnaround in market share, new revenue sources, or both. Maybe that is just me.