It seems to be up now, but was giving server timeouts yesterday.
My guess (and that's all it is) is that this module of their site is outsourced to a third party server, which was a victim of this weekend's large outage. A large data center in Miami (Sago Networks) was down for over a day, taking thousands of websites and a domain registrar, with it.
Sago runs a large data center in Miami and rents space to webhosting companies and other companies that co-locate their equipment in the same building. A botched upgrade of their routers lead to a day of downtime, and even as I type this it's only at about 80%.
Either the timing is just a coincidence, or that's why.
Have you considered their CD version? It has a powerful search tool, and works without the internet.
Mike