I closed Firefox and reopened it. No difference. The rest of the javascript on this site works fine, and on other sites. The problem in on the server side.
Edited to say that I gave Alex the benefit of the doubt and rebooted. No difference. Still get a search page on auto-refresh but works good on "What's new?" or "New Posts".