I still like the first option. I think it leaves the most open to the users. And as for me making a TON of hotkeys, that's not an issue (but it probably is for others). I have a script that generates the hotkey file for me.

Also, I wouldn't expect the other options to be viable since they involve the whole variable thing or a bit of programming for other users (and writing an interpreter is not something I'd ask you to do). I could handle the programming of the hotkey definitions easily, but that's just not a feature fit for your general audience, imo.

Anyhow, thanks again.