/** Kept apart from the pane so startup code can address it without importing the React tree. */
export const PLUGIN_MARKETPLACE_PANE_ID = "plugin-marketplace";