Option settings

Where are the option settings stored?

It’s in a file called .languagetool.cfg in your user’s home directory.