code: function migrateEnsureHotKeys(settings: Settings): Settings {
    settings.hotKeyRegistry = {
      ...hotkeys.newDefaultRegistry(),
      ...settings.hotKeyRegistry,
    };
    return settings;
  }
docs: Ensure map is updated when new hotkeys are added