If I may.

    I understand Kalnaren’s request. From my perspective, Random is very minor feature I’m using very rarely. However, indeed, the random button does indeed cause a lot of problem.

    I wouldn’t complain if there was no random button at all and if the random feature was only accessible through a keyboard shortcut for instance. Fair chance we wouldn’t hit shift+ctrl+R by mistake for instance 😉