{
  deprecateExtraOptions = true;

  optionsRenamedToSettings = [
    "inputAfterComment"
    "languages"
    "snippetEngine"
    "enablePlaceholders"
    "placeholdersText"
    {
      old = "placeholderHighlight";
      new = "placeholder_hl";
    }
  ];
}
