Re: [docs] surprisingly poor performance of random.sample(set)