Laborers' Brute Search
Searches are not case sensitive.
About Brute Search
Other search engines make "indexes" and then search that. It is a speedy efficient
way to find concepts in documents. The indexes however only cover the main theme of
the document. If you want to find a word at the bottom of a large document they won't
do it.
Brute Search will. It searches the actual files line by line looking for exact
matches. It takes a little longer (currenty about 15 seconds to complete a search)
but it doesn't miss a match.