Sort:  

A friend told me last night that the search function works for him, so maybe the problem is with me, my browser or something.

Apparently Ghostery was blocking the search. I turned off Ghostery for this site, and now the search is working, at least a little.