I only skimmed the article, so I apologize if you already answered this elsewhere, but what was the search system? Was it a general web search kind of thing, or

I only skimmed the article, so I apologize if you already answered this elsewhere, but what was the search system? Was it a general web search kind of thing, or was it like a small thing for a specific website? How many documents does it index?