RedHat also gave him some fat stock options, just to say thanks.