not that it really matters, but is he leaving Google?