Hi All, One extremely useful keyboard automation utility that has existed for Linux for quite some time has been Autokey: https://code.google.com/p/autokey/ I am not sure how suggesting ports works, but I'd like to suggest this one for inclusion. -- Mike