Merge branch 'dev'
Merge branch 'dev'
Merge branch 'dev'
Merge branch 'dev'
Merge branch 'dev' with new shortcut commands (/, //, `), improved README, terminal-style input, and private verbs.