XXX: TopScoreDocsCollector does not use the searcher's threadpool