Improve document search (and better error reporting)
Now that #261 (closed) is done it would be nice to improve the document search by making the API a bit drier, as well as improve the error reporting.
Now that #261 (closed) is done it would be nice to improve the document search by making the API a bit drier, as well as improve the error reporting.