function inferSaveHotKey(hotkeys) {
  K_SAVE = hotkeys.find(([, cmd]) => cmd === 'save')?.[0];
  if (!K_SAVE) {
    K_SAVE = 'Ctrl-S';
    hotkeys.unshift([K_SAVE, 'save']);
  }
}
Whether removed scripts need to be filtered from `store.scripts`.