Btw, is there any alternative to Autohotkey on Linux/OS X? Cannot imagine how to use any desktop GUI without it anymore.