For `setopt CORRECT`. Let the user uncomment a line with the `setopt` directly in the configuration file, instead of having a flag variable for it. Closes #90