[plt-scheme] develop-servlet not found

The web-server doc.txt states:

   To develop module based servlets, open the module in DrScheme's
   definitions window.  After clicking the Execute button, require the
   module servlet development library.
     (require (lib "develop-servlet.ss"))

But develop-servlet.ss in not in the mzlib collection.  I have a feeling it
should read (lib "develop-servlet.ss" "web-server"), but there is no such file
in the web-server collection either.  Am I missing something?

I am using the latest cvs sources.  Thanks.

-d