{
  deprecateExtraOptions = true;
  optionsRenamedToSettings = [ "languages" ];
}