@kjetilbhalvorsen the said user has been bit of on the, for lack of better word, crazier side and has been on and off the ban at Maths and other sites. And this is a veiled derogatory post.
@GuillaumeDehaene I think no one disagrees with the fact that randomization might not be a "palatable" procedure, even though statistically correct. I mean it seems somewhat weird after examining the data, one could decide by a random coin tossing with certain success probability for meeting the size.
I have missed all the drama about that user who has just been suspended and don't recollect any of their previous contributions. I am inclined to think I am better off that way.