add auto-revert-mode hint to documentation