Search working again

I've just fixed the search which stopped working on Friday at 17:25:30 UTC,
at least according to the last log entry.

Sorry about the outage.

Cheers,
    Olly