Marcia - 12:14 am on Jul 25, 2003 (gmt 0)

Definitely Inktomi. So what it looks like is being done there with the change to calling it HotBot is eliminating the Inktomi branding from that search. I suppose that'll ease it over if it starts to be called Yahoo search - or if Ink is pulled from there altogether.