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