auto-revert-mode-hook no longer necessary.