{
  deprecateExtraOptions = true;
  optionsRenamedToSettings = [
    "keys"
    [
      "options"
      "disabledFiletypes"
    ]
    [
      "options"
      "disableWhenTouch"
    ]
    [
      "options"
      "touchRegex"
    ]
    [
      "options"
      "pairSpaces"
    ]
    [
      "options"
      "autoIndent"
    ]
    [
      "options"
      "disableCommandMode"
    ]
  ];
}
