Right, agreed, "search engine" is what I should have said, although I suspect that even among developers Google search would be the heavy winner in terms of use.