The variable global-auto-revert-non-file-buffers contains 2 broken links
to the same Info node. This patch fixes the problem.

-- 
Damien Cassou

"Success is the ability to go from one failure to another without
losing enthusiasm." --Winston Churchill