Even after running malicious software tools, the problem persisted on at least 3 machines, in 3 browsers. A resolution was found by clearing all history, cache, etc. Since then, the problem no longer appears to be happening. We'll have to monitor the situation carefully from now on.