The talent stays with Devin. Google has got the CEO. Not sure why they need a CEO, maybe Pichai wants to retire