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 [ ]