{
  deprecateExtraOptions = true;
  optionsRenamedToSettings = [
    "lsp"
    [
      "ft"
      "default"
    ]
    [
      "ft"
      "nomodifiable"
    ]
    [
      "abbreviations"
      "enable"
    ]
    [
      "abbreviations"
      "extra"
    ]
    [
      "abbreviations"
      "leader"
    ]
    "mappings"
    [
      "infoview"
      "autoopen"
    ]
    [
      "infoview"
      "autopause"
    ]
    [
      "infoview"
      "width"
    ]
    [
      "infoview"
      "height"
    ]
    [
      "infoview"
      "horizontalPosition"
    ]
    [
      "infoview"
      "separateTab"
    ]
    [
      "infoview"
      "indicators"
    ]
    [
      "infoview"
      "lean3"
      "showFilter"
    ]
    [
      "infoview"
      "lean3"
      "mouseEvents"
    ]
    [
      "infoview"
      "showProcessing"
    ]
    [
      "infoview"
      "showNoInfoMessage"
    ]
    [
      "infoview"
      "useWidgets"
    ]
    [
      "infoview"
      "mappings"
    ]
    [
      "progressBars"
      "enable"
    ]
    [
      "progressBars"
      "priority"
    ]
    [
      "stderr"
      "enable"
    ]
    [
      "stderr"
      "height"
    ]
    [
      "stderr"
      "onLines"
    ]
    [
      "lsp3"
      "enable"
    ]
    [
      "lsp3"
      "onAttach"
    ]
  ];
}
