This section is at https://rollingedition.com/primer-on-search-relevance/ranking#rerank-depth-from-budget.