auto-revert-mode improved