A document search engine, with a touch of AI