Lightweight search engine for HTML documents with a web frontend