/**
 * The `$.store` key holding whether the person keeps the pane open (`/diff`
 * writes it; the first edit reads it): the built-in's `diffSidebarOpen`.
 */
export const STORE_OPEN_KEY = 'open'