This is silly. This option cannot be set from the configuration, so it
does not beling in the preferences.