Larry Page’s lost decade was the best thing to ever happen to Google