On Wed, Feb 18, 2009 at 9:06 AM, Matthew Flatt <mflatt at cs.utah.edu> wrote: > FWIW, it's working for me at the moment.
Strange. I took a closer look: the underlying cause is that I sometimes get connection errors from the web server. That would explain why search doesn't work all the time for me, but I don't know what the deeper cause for the network disconnects are.
