update 2013/08/02: change bindings for Dvorak