Add basic pagination to search results

The "deep paging problem" imposes some limit, which currently is a
hardcoded default value, `deep_page_limit=2000` in `do_search`.

Elasticsearch can be configured, too:

> Note that from + size can not be more than the index.max_result_window
index setting, which defaults to 10,000.

-- https://www.elastic.co/guide/en/elasticsearch/reference/current/search-request-body.html#request-body-search-from-size

0 files changed, 0 insertions, 0 deletions