/**
 * The one pane the plugin opens; its `requestId` at `ui.render`.
 */
export const PANE_ID = 'diff'