Key Bindings [todo] Document supported key bindings Currently we rely on various key bindings provided by VS Code plugins. Would be nice to harmonise these [ ]