An extensible keystroke application launcher