Thanks for explaining. It sounds like this violates the spirit of the rules even if Blizzard has never said a word about it.

I'm not recommending what I'm about to say, only curious.. Wouldn't it be better to just make a plain hotkey with toggles and press it without DoRandomHotkey? I don't understand how the randomness helps.