[plt-scheme] Searching on docs.plt-scheme disabled?

2009/2/18 Danny Yoo <dyoo at cs.wpi.edu>:
> I've tried to search on docs.plt-scheme.org, but the javascript
> doesn't seem to be doing anything.

This often happens to me. Hitting refresh in the browser seems to
help, even when doing more searches doesn't.

    Henk