In the preferences, I don’t get what two options could mean:  * `$ auto`. * `Display text modification`.
In the preferences, I don’t get what two options could mean:
$ auto.Display text modification.