If it isn't used often, I think we shouldn't have this specialization. For example, we don't specialize the data structure to use to collect top hits if only 1 or 2 of them are requested, we always use a heap?