{ deprecateExtraOptions = true; optionsRenamedToSettings = [ [ "cursorline" "enable" ] [ "cursorline" "timeout" ] [ "cursorline" "number" ] [ "cursorword" "enable" ] [ "cursorword" "minLength" ] [ "cursorword" "hl" ] ]; }