added a post comparing karabiner and autohotkey