This section is at https://rollingedition.com/primer-on-search-relevance/measuring-search#count-relevant-in-top-k.