{
  # TODO: added 2025-10-04
  deprecateExtraOptions = true;
  optionsRenamedToSettings = [
    "maxPhaseOneTargets"
    "highlightUnlabeledPhaseOneTargets"
    "maxHighlightedTraversalTargets"
    "caseSensitive"
    "equivalenceClasses"
    "substituteChars"
    "safeLabels"
    "labels"
    [
      "specialKeys"
      "nextTarget"
    ]
    [
      "specialKeys"
      "prevTarget"
    ]
    [
      "specialKeys"
      "nextGroup"
    ]
    [
      "specialKeys"
      "prevGroup"
    ]
    [
      "specialKeys"
      "multiAccept"
    ]
    [
      "specialKeys"
      "multiRevert"
    ]
  ];
}
