New setting DONT_USE_REVERSION

Following the discussion in issue #548 I have added a new setting named ```DONT_USE_REVERSION```.
Maybe a native speaker should proofread the description.