Funny thing is, there's another great article on the HN front page right now by a former Inktomi engineer who began to recognize Inktomi's demise, in part, when he saw that Intomi's engineers preferred to used Google's search over Inktomi's. Even more coincidental, Yahoo was the one who eventually bought Inktomi.
That part made me wonder how exactly they went searching for it. Do they have some standard checklist for companies they own and they have interns go down the list - 'ok, I've checked the legal database and he has no bankruptcies on file, next, step 73: Google to see whether his college days are mentioned anywhere..."?