This is their version of retirement. Did you think Jeff Dean was going to stop doing tech and play golf?