# trove

A small web search engine.