Amir E. Aharoni, 17/09/2014 08:22:
If I recall correctly, that button was added because there were requests for it, but was its existence ever justified? If there's interesting data about using the "random" button,
http://stats.grok.se/en/latest30/Special:Random Do you really need more?
Nemo