In discussions around the keyboard bindings, we identified a key issue with international keyboard users, for whom ctrl+alt are problematic. This ticket covers making a third appropriately named input scheme that uses ctrl+shift instead of ctrl+alt or alt.