The search tool at the top of the forum is now working again. I had to disable to when we were DDoS'd but seems to now be stable.

Sorry for the inconvenience.