list_top_ranked option to get the very best bucket ties with top rank #248

Closed akolonin closed 5 years ago