I'm really sorry that the change is less convenient for you. It looks like you've already seen the reasons for the change and the new way of accessing the random option, so I won't annoy you by repeating it, and it looks like somebody did catch you on Twitter with a workaround, but I know it sucks when things change, even when it's for a good reason.
no subject