I wonder how much Jensen has managed to liquidate. For me currently obvious strategy would be to pump things as high as they can while unloading stock holdings as is possible without looking too bad.