I"m sure the same way it was done in the past. That's the realm of Ted and Jeff, I'm not privy to such dealings. They've already retired over 230 million so I have no doubt they will do more.
Employees do not need to file a form 4 to sell, only affiliates, insiders and directors.