I would have thought Jeff Dean would never ever leave Google. What on earth is going on?