A tiny client-side search engine