[plt-scheme] help?

Maestros,

We've been using - usually - DrScheme under Windows, and recently we
transfer a part of our didactic bazaar under Linux. A friend of mine
just imported 2.02, and alarms that the attempt to launch help ends
badly with a non-connecting URL.

http://127.0.0.1:8000/servlets/home.ss

I had no time to investigate what's happens on his local machine, why
port 8000 and where is /servlets (if this exists at all), but perhaps
I should have, before bothering you...? The installation was done as
a normal user (not root).

Thank you.


Jerzy Karczmarczuk