Diminish auto-revert-mode