Google’s First Hired Employee, Craig Silverstein, Quits