Ummm... I came here clicking a link from [Wikipedia:Searching]. It appears to imply that "Jeremy" is some kind of indexing system for Wikipedia? This use of the term is not discussed in the article.