This type of arrangement is nothing new in the airline industry.

Grinstein and his family (extended) received lifetime flight benefits on DL (positive space in F class); Whitehurst and his family got the same deal (though IIRC it was only for ten years) when he left for Redhat;

And as stated above, these departure benefits are itemized in SEC filings. Not hard to find what former execs and their family are getting in terms of benefits.