huh, I’d think that “crawl” is a pretty generic term for search engines. One of the first search engines I remember, back when I was 14 and ignorant of All Things Internet, was WebCrawler. I don’t remember being confused. :)