more ft specific settings (for tex and rust)
disable annoying error colors in coq plugin