Or just `guidEditorExtensionsCmdSet`