diff --git a/collects/algol60/info.ss b/collects/algol60/info.ss
index e8d888b584..5171a0ea87 100644
--- a/collects/algol60/info.ss
+++ b/collects/algol60/info.ss
@@ -1,6 +1,5 @@
 (module info setup/infotab
   (define name "Algol 60")
-  (define doc.txt "doc.txt")
   (define tools '(("tool.ss")))
   (define tool-names '("Algol 60"))
   (define scribblings '(("algol60.scrbl")))
diff --git a/collects/algol60/tool.ss b/collects/algol60/tool.ss
index c465ec69aa..676cb9a74d 100644
--- a/collects/algol60/tool.ss
+++ b/collects/algol60/tool.ss
@@ -81,8 +81,6 @@
           (define/public (order-manuals x) 
             (values 
              (list #"drscheme" #"tour" #"help")
-	     ;; We allow doc.txt search results, because the Algol60
-	     ;; docs are in doc.txt:
              #t))
           (define/public (get-language-name) "Algol 60")
           (define/public (get-language-url) #f)
diff --git a/collects/browser/info.ss b/collects/browser/info.ss
index 2e64f1ace7..135587fd5c 100644
--- a/collects/browser/info.ss
+++ b/collects/browser/info.ss
@@ -1,6 +1,5 @@
 (module info setup/infotab
   (define name "Browser")
-  (define doc.txt "doc.txt")
   (define tools (list (list "tool.ss")))
   (define tool-names (list "Browser")))
 
diff --git a/collects/combinator-parser/info.ss b/collects/combinator-parser/info.ss
index 350de15fa4..423b09f7d9 100644
--- a/collects/combinator-parser/info.ss
+++ b/collects/combinator-parser/info.ss
@@ -1,5 +1,4 @@
 
 (module info setup/infotab
-  (define doc.txt "doc.txt")
   (define name "Combinator parser"))
 
diff --git a/collects/compiler/main.ss b/collects/compiler/main.ss
index 395ab6b123..7a7aaf8f24 100644
--- a/collects/compiler/main.ss
+++ b/collects/compiler/main.ss
@@ -11,7 +11,7 @@
 ;;  linking in appropriate libraries. This is handled
 ;;  by compiler.ss.
 
-;; See doc.txt for information about the Scheme-level interface
+;; See manual for information about the Scheme-level interface
 ;;  provided by this collection.
 
 (module main scheme/base
diff --git a/collects/dynext/link-unit.ss b/collects/dynext/link-unit.ss
index 0e06fa0363..ece8317b84 100644
--- a/collects/dynext/link-unit.ss
+++ b/collects/dynext/link-unit.ss
@@ -45,7 +45,7 @@
 	  (error 'current-extension-linker 
 		 "linker not found or not executable: ~s" v)))
 
-      ;; See doc.txt:
+      ;; See manual:
       (define current-extension-linker 
 	(make-parameter 
 	 (or (let ([p (getenv "MZSCHEME_DYNEXT_LINKER")])
@@ -150,7 +150,7 @@
 	      (split-command-line-args v)
 	      null)))
       
-      ;; See doc.txt:
+      ;; See manual:
       (define current-extension-linker-flags
 	(make-parameter
 	 (append (get-env-link-flags)
@@ -166,7 +166,7 @@
 	     (raise-type-error 'current-extension-linker-flags "list of strings" l))
 	   l)))
 
-      ;; See doc.txt:
+      ;; See manual:
       (define current-make-link-input-strings
 	(make-parameter
 	 (lambda (s) (list (path-string->string s)))
@@ -189,7 +189,7 @@
                                                                                       "mzdynb.def")))
                                                                null))))
       
-      ;; See doc.txt:
+      ;; See manual:
       (define current-make-link-output-strings
 	(make-parameter
 	 (case (system-type)
@@ -265,7 +265,7 @@
 			    ((wrap-3m "mzdyn~a.o")))
 		       null)))]))
 
-      ;; See doc.txt:
+      ;; See manual:
       (define current-standard-link-libraries
 	(make-parameter
 	 (case (system-type)
@@ -281,7 +281,7 @@
       
       ;; ---- Function to install standard linker parameters --------------------
 
-      ;; see doc.txt
+      ;; see manual
       (define (use-standard-linker name)
 	(define (bad-name name)
 	  (error 'use-standard-linker "unknown linker: ~a" name))
diff --git a/collects/embedded-gui/info.ss b/collects/embedded-gui/info.ss
index afadd172db..8b7dcd9459 100644
--- a/collects/embedded-gui/info.ss
+++ b/collects/embedded-gui/info.ss
@@ -1,5 +1,4 @@
 (module info setup/infotab
-  (define name "Embedded GUI")
-  (define doc.txt "doc.txt"))
+  (define name "Embedded GUI"))
 
 
diff --git a/collects/eopl/info.ss b/collects/eopl/info.ss
index da882270d6..fcef128eec 100644
--- a/collects/eopl/info.ss
+++ b/collects/eopl/info.ss
@@ -2,7 +2,6 @@
   (require (lib "string-constant.ss" "string-constants"))
   
   (define name "EoPL")
-  (define doc.txt "doc.txt")
   (define tools (list "eopl-tool.ss"))
   (define tool-icons (list "eopl-small.gif"))
   (define tool-names (list "Essentials of Programming Languages"))
diff --git a/collects/errortrace/errortrace-lib.ss b/collects/errortrace/errortrace-lib.ss
index f8e1dc8c79..cf38a87961 100644
--- a/collects/errortrace/errortrace-lib.ss
+++ b/collects/errortrace/errortrace-lib.ss
@@ -1,6 +1,6 @@
 
 ;; Poor man's stack-trace-on-exceptions/profiler.
-;; See doc.txt for information.
+;; See manual for information.
 
 (module errortrace-lib mzscheme
   (require "stacktrace.ss"
diff --git a/collects/errortrace/errortrace.ss b/collects/errortrace/errortrace.ss
index 7376aab8e2..818d7f1902 100644
--- a/collects/errortrace/errortrace.ss
+++ b/collects/errortrace/errortrace.ss
@@ -1,6 +1,6 @@
 
 ;; Poor man's stack-trace-on-exceptions/profiler.
-;; See doc.txt for information.
+;; See manual for information.
 
 (module errortrace mzscheme
   (require "errortrace-lib.ss")
diff --git a/collects/errortrace/info.ss b/collects/errortrace/info.ss
index f816abef5a..c5c5cff9a0 100644
--- a/collects/errortrace/info.ss
+++ b/collects/errortrace/info.ss
@@ -1,3 +1,2 @@
 (module info setup/infotab
-  (define name "Errortrace")
-  (define doc.txt "doc.txt"))
+  (define name "Errortrace"))
diff --git a/collects/framework/info.ss b/collects/framework/info.ss
index d35ec4039a..f45e083566 100644
--- a/collects/framework/info.ss
+++ b/collects/framework/info.ss
@@ -1,4 +1,3 @@
 (module info setup/infotab
-  (define name "Framework")
-  (define doc.txt "doc.txt"))
+  (define name "Framework"))
 
diff --git a/collects/frtime/demos/gui/info.ss b/collects/frtime/demos/gui/info.ss
index d62cf18368..78a4c770ff 100644
--- a/collects/frtime/demos/gui/info.ss
+++ b/collects/frtime/demos/gui/info.ss
@@ -1,3 +1,2 @@
 (module info setup/infotab
-  (define name "frtime gui wrapper")
-  (define doc.txt "doc.txt"))
+  (define name "frtime gui wrapper"))
diff --git a/collects/frtime/info.ss b/collects/frtime/info.ss
index 733b5c7f01..6120457096 100644
--- a/collects/frtime/info.ss
+++ b/collects/frtime/info.ss
@@ -1,6 +1,5 @@
 (module info setup/infotab
   (define name "frtime")
-;  (define doc.txt "doc.txt")
 
   (define scribblings '(("frtime.scrbl" ())))  
   (define compile-subcollections (list (list "frtime" "demos" "gui")))
diff --git a/collects/games/aces/info.ss b/collects/games/aces/info.ss
index 042da373ed..3d92bc8da7 100644
--- a/collects/games/aces/info.ss
+++ b/collects/games/aces/info.ss
@@ -1,5 +1,4 @@
 (module info setup/infotab
   (define name "Aces")
-  (define doc.txt "doc.txt")
   (define game "aces.scm")
   (define game-set "Card Games"))
diff --git a/collects/games/blackjack/info.ss b/collects/games/blackjack/info.ss
index dacc453544..f46b9b5c8a 100644
--- a/collects/games/blackjack/info.ss
+++ b/collects/games/blackjack/info.ss
@@ -1,5 +1,4 @@
 (module info setup/infotab
   (define name "Blackjack")
-  (define doc.txt "doc.txt")
   (define game "blackjack.ss")
   (define game-set "Card Games"))
diff --git a/collects/games/cards/info.ss b/collects/games/cards/info.ss
index add55af4b6..1f64f12dea 100644
--- a/collects/games/cards/info.ss
+++ b/collects/games/cards/info.ss
@@ -1,5 +1,4 @@
 (module info setup/infotab
   (define name "Game Cards")
-  (define doc.txt "doc.txt")
   (define scribblings '(("cards.scrbl"))))
 
diff --git a/collects/games/crazy8s/info.ss b/collects/games/crazy8s/info.ss
index 8d19c03e22..73615f0966 100644
--- a/collects/games/crazy8s/info.ss
+++ b/collects/games/crazy8s/info.ss
@@ -1,5 +1,4 @@
 (module info setup/infotab
   (define name "Crazy 8s")
-  (define doc.txt "doc.txt")
   (define game "crazy8s.ss")
   (define game-set "Card Games"))
diff --git a/collects/games/doc.txt b/collects/games/doc.txt
index 562848827f..1a7f31ccf8 100644
--- a/collects/games/doc.txt
+++ b/collects/games/doc.txt
@@ -1,9 +1,8 @@
 _Games_
 =======
 
-The "Games" (Unix: plt/bin/games) executable is created by "Setup PLT"
-(Unix: plt/bin/setup-plt). You can also start Games via Help Desk
-(search for "games").
+The "PLT Games" (Unix: plt/bin/plt-games) executable is created by
+"Setup PLT" (Unix: plt/bin/setup-plt).
 
 The Games program lets you select one of the games distributed by PLT,
 or other games installed as sub-collections of the "games" collection
diff --git a/collects/games/doors/info.ss b/collects/games/doors/info.ss
index 780c0e416a..c40968046b 100644
--- a/collects/games/doors/info.ss
+++ b/collects/games/doors/info.ss
@@ -1,3 +1,2 @@
 (module info setup/infotab
-  (define name "Doors game library")
-  (define doc.txt "doc.txt"))
+  (define name "Doors game library"))
diff --git a/collects/games/gcalc/info.ss b/collects/games/gcalc/info.ss
index 416eebfcb7..946fc7a6c2 100644
--- a/collects/games/gcalc/info.ss
+++ b/collects/games/gcalc/info.ss
@@ -1,4 +1,3 @@
 (module info setup/infotab
   (define name "GCalc")
-  (define doc.txt "doc.txt")
   (define game "gcalc.ss"))
diff --git a/collects/games/ginrummy/info.ss b/collects/games/ginrummy/info.ss
index 6e28fdc5f6..1ae0eac0a4 100644
--- a/collects/games/ginrummy/info.ss
+++ b/collects/games/ginrummy/info.ss
@@ -1,5 +1,4 @@
 (module info setup/infotab
   (define name "Rummy")
-  (define doc.txt "doc.txt")
   (define game "ginrummy.ss")
   (define game-set "Card Games"))
diff --git a/collects/games/gl-board-game/info.ss b/collects/games/gl-board-game/info.ss
index 59b930c47a..a495af692a 100644
--- a/collects/games/gl-board-game/info.ss
+++ b/collects/games/gl-board-game/info.ss
@@ -1,3 +1,2 @@
 (module info setup/infotab
-  (define name "3D board game library")
-  (define doc.txt "doc.txt"))
+  (define name "3D board game library"))
diff --git a/collects/games/gobblet/info.ss b/collects/games/gobblet/info.ss
index 6bbe08e520..4f922e95ba 100644
--- a/collects/games/gobblet/info.ss
+++ b/collects/games/gobblet/info.ss
@@ -1,5 +1,4 @@
 (module info setup/infotab
   (define name "Gobblet")
-  (define doc.txt "doc.txt")
   (define game "gobblet.ss")
   (define game-set "Board Games"))
diff --git a/collects/games/gofish/info.ss b/collects/games/gofish/info.ss
index 91a22f4845..aa70f34f7d 100644
--- a/collects/games/gofish/info.ss
+++ b/collects/games/gofish/info.ss
@@ -1,5 +1,4 @@
 (module info setup/infotab
   (define name "Go Fish")
-  (define doc.txt "doc.txt")
   (define game "gofish.ss")
   (define game-set "Card Games"))
diff --git a/collects/games/info.ss b/collects/games/info.ss
index c44aac2807..15c68e07a8 100644
--- a/collects/games/info.ss
+++ b/collects/games/info.ss
@@ -1,6 +1,5 @@
 (module info setup/infotab
   (define name "Games")
-  (define doc.txt "doc.txt")
   (define mred-launcher-libraries (list "games.ss"))
   (define mred-launcher-names (list "PLT Games"))
   (define doc-sub-collections
diff --git a/collects/games/jewel/info.ss b/collects/games/jewel/info.ss
index ceb676ba62..67c9d53ce6 100644
--- a/collects/games/jewel/info.ss
+++ b/collects/games/jewel/info.ss
@@ -1,5 +1,4 @@
 (module info setup/infotab
   (define name "Jewel")
-  (define doc.txt "doc.txt")
   (define game "jewel.scm")
   (define game-set "Puzzle Games"))
diff --git a/collects/games/lights-out/info.ss b/collects/games/lights-out/info.ss
index 7a8aedb374..2a6bc71999 100644
--- a/collects/games/lights-out/info.ss
+++ b/collects/games/lights-out/info.ss
@@ -1,5 +1,4 @@
 (module info setup/infotab
   (define name "Lights Out")
-  (define doc.txt "doc.txt")
   (define game-set "Puzzle Games")
   (define game "lights-out.ss"))
diff --git a/collects/games/paint-by-numbers/info.ss b/collects/games/paint-by-numbers/info.ss
index 8b79008974..a60f8cb224 100644
--- a/collects/games/paint-by-numbers/info.ss
+++ b/collects/games/paint-by-numbers/info.ss
@@ -1,6 +1,5 @@
 (module info setup/infotab
   (define name "Paint by Numbers")
-  (define doc.txt "doc.txt")
   (define game "paint-by-numbers.ss")
   (define game-set "Puzzle Games")
   (define compile-omit-files '(
diff --git a/collects/games/parcheesi/info.ss b/collects/games/parcheesi/info.ss
index fe268c049c..97457e85a2 100644
--- a/collects/games/parcheesi/info.ss
+++ b/collects/games/parcheesi/info.ss
@@ -1,5 +1,4 @@
 (module info setup/infotab
   (define name "Parcheesi")
-  (define doc.txt "doc.txt")
   (define game "parcheesi.ss")
   (define game-set "Board Games"))
diff --git a/collects/games/pousse/info.ss b/collects/games/pousse/info.ss
index 45ea388ace..5a2298dcff 100644
--- a/collects/games/pousse/info.ss
+++ b/collects/games/pousse/info.ss
@@ -1,5 +1,4 @@
 (module info setup/infotab
   (define name "Pousse")
-  (define doc.txt "doc.txt")
   (define game "pousse.ss")
   (define game-set "Board Games"))
diff --git a/collects/games/same/info.ss b/collects/games/same/info.ss
index ec4fd1ad10..3758d5300a 100644
--- a/collects/games/same/info.ss
+++ b/collects/games/same/info.ss
@@ -1,6 +1,5 @@
 (module info setup/infotab
   (define name "Same")
-  (define doc.txt "doc.txt")
   (define game-set "Puzzle Games")
   (define game "same.ss"))
 
diff --git a/collects/games/spider/info.ss b/collects/games/spider/info.ss
index 7b1442bd28..b2238804de 100644
--- a/collects/games/spider/info.ss
+++ b/collects/games/spider/info.ss
@@ -1,5 +1,4 @@
 (module info setup/infotab
   (define name "Spider")
-  (define doc.txt "doc.txt")
   (define game "spider.ss")
   (define game-set "Card Games"))
diff --git a/collects/guibuilder/info.ss b/collects/guibuilder/info.ss
index bbe12f6f8f..f82266dd88 100644
--- a/collects/guibuilder/info.ss
+++ b/collects/guibuilder/info.ss
@@ -1,5 +1,4 @@
 (module info setup/infotab
-  (define doc.txt "doc.txt")
   (define name "GUI Builder")
   (define tools '(("tool.ss")))
   (define tool-names '("GUI Builder")))
diff --git a/collects/handin-server/info.ss b/collects/handin-server/info.ss
index 554a98e5c3..2261c34bfb 100644
--- a/collects/handin-server/info.ss
+++ b/collects/handin-server/info.ss
@@ -1,3 +1,2 @@
 (module info setup/infotab
-  (define name "Handin Server")
-  (define doc.txt "doc.txt"))
+  (define name "Handin Server"))
diff --git a/collects/help/doc.txt b/collects/help/doc.txt
deleted file mode 100644
index 587db88195..0000000000
--- a/collects/help/doc.txt
+++ /dev/null
@@ -1,357 +0,0 @@
-The `help' collection provides tools for PLT _Help Desk_.
-
-The file help.ss is used to build the Help Desk launcher, which
-uses MrEd.  The file help-bg.ss is used to build a `background' 
-Help Desk launcher, which uses MzScheme.
-
-There are two modules that Help Desk clients may load.
-The file `help-desk-mz.ss' provides a set of functions that 
-use only MzScheme.  The file `help-desk.ss' provides all the 
-functions provided by `help-desk-mz.ss', plus some that rely 
-on MrEd.
-
-The MrEd-dependent functions provided by `help-desk.ss' are:
-
-> search-for-docs : hd-cookie search-string search-type match-type lucky? -> void
-
-The `hd-cookie' argument is returned by `start-help-server', below.
-Searches for `search-string' in the documentation, using `search-type' 
-and `match-type', and displays result in the Help Desk browser.  The 
-`search-type' is one of "keyword", "keyword-index", or "keyword-index-text".
-The `match-type' is one of "exact-match", "containing-match", or 
-"regexp-match".  The `lucky?' parameter indicates whether to do a 
-lucky search or not; it is considered true for any value other than #f.
-Side effect: the `search-type' and `match-type' values are stored as 
-preferences, reflected in the Help Desk search pane as the values  
-of options shown in drop-down lists.
-
-> goto-manual-link : hd-cookie manual index-key -> void
-
-The `hd-cookie' argument is returned by `start-help-server', below.
-The `manual' and `index-key' entries are strings.  The `manual' 
-argument is the string name of a doc collection, or "help"; 
-the second is an index entry in that manual.  When called,
-this procedure starts a Help Desk browser with the appropriate 
-manual page shown in the lower frame, if the requested entry 
-exists.  Otherwise, an error occurs.
-
-> goto-hd-location : hd-cookie sym -> void
-
-The `hd-cookie' argument is returned by `start-help-server',
-below.  The argument `sym' is a symbol in
-
-   '(hd-tour release-notes plt-license front-page)
-
-Sends a Help Desk browser on the page suggested by `sym',
-creating one if necessary.
-
-> help-desk-browser : hd-cookie -> void
-
-Starts the Help Desk browser on the Help Desk home page.  The 
-`hd-cookie' argument is obtained from `start-help-server', described 
-below.  If the user's default browser does not contact the
-Help Desk server within a certain time period, an internal PLT 
-browser is started instead.
-
-The following functions are provided by both `help-desk-mz.ss' and
-`help-desk.ss'.  These functions rely only on MzScheme:
-
-_Server functions_
-------------------
-
-> start-help-server : (browser-frame-mixin . -> . hd-cookie)
-
-Starts the Web server for Help Desk.  The optional argument
-`remote?' indicates whether remote connections should be
-allowed; the default is #f.  The optional argument `port' is
-an exact integer or #f, the default.  If a port number is
-given, the server attempts to use that port; otherwise, the
-server attempts to find an available port.  The optional
-argument browser-frame-mixin is mixed into the internal
-browser's frame class, if one is created.
-
-The return value is a structure that contains instance
-information about the server.  The cookie needs to be passed
-to some other Help Desk functions described here.  If the
-specified port is unavailable, or the server cannot find an
-unused port, an error occurs.
-
-> hd-cookie-port : hd-cookie -> number
-
-Given a Help Desk server cookie, returns the port number
-used by the server.
-
-> hd-cookie-shutdown-server : hd-cookie -> (-> void)
-
-Given a Help Desk server cookie, returns a thunk that 
-shuts down the server when called.
-
-> hd-cookie-find-browser : (hd-cookie?
-                            . -> . 
-                            (-> (union false? (is-a?/c frame%))))
-
- Returns a procedure that finds a help desk browser
- window. If none is available, returns #f.
-
-> hd-cookie? : obj -> boolean
-
-Returns #t if `obj' is a Help Desk cookie, #f otherwise. 
-
-> visit-url-in-browser : (hd-cookie? string? . -> . void?)
-
- Visits the second argument in a browser, creating a
- browser window if necessary.
-
-> visit-url-in-new-browser : (hd-cookie? string? . -> . void?)
-
- Visits the second argument in a browser, always creating a
- new browser window.
-
-_Manual ordering_
------------------
-
-> standard-html-doc-position : string -> number
-
-Given a manual name, returns a number (possibly negative)
-that indicates its standard search order position.
-
-> user-defined-doc-position : string -> (union number #f)
-
-Like standard-html-doc-position, but returns a weight 
-only if the user has assigned one using `set-doc-position!',
-described below.  If the user has not set a weight for the
-manual, #f is returned.  If the manual is not among `known-docs' 
-(see below), an error occurs.
-
-> set-doc-position! : string number -> void
-
-Sets the manual, indicated by the string argument, to 
-use the search order position given by the number argument.
-If the manual is not among `known-docs' (see below), an
-error occurs.
-
-> reset-doc-positions! : -> void
-
-Removes all the user-defined document weights that may have
-been set using `set-doc-position!', above.
-
-> known-docs : (listof (cons string string))
-
-A list of pairs, where each pair consists of a short-form name of a
-manual, suitable to pass to `standard-html-doc-position',
-`user-defined-doc-position', or `set-doc-position', and
-a full name for the manual.
-
-_Search functions_
-------------------
-
-> do-search : search-string num bool bool val f1 f2 f3 f4 -> (union string #f)
-
-Performs a search for `search-string' in the documentation, and returns either 
-a string containing HTML or #f.  More details are provided in the file
-search.ss in the private subdirectory of the help collection.
-
-> doc-collections-changed : -> void
-
-Calling this procedure indicates to the Help Desk search engine that 
-the documentation collections have changed.
-
-_Important Help Desk URLs_
----------------------------
-
-> make-home-page-url : number -> string
-
-given the port of the help desk server (from the cookie),
-returns a url for the homepage of help desk.
-
-_Manual listing_
-----------------
-
-> (find-manuals)
-
- Returns HTML showing the installed documentation.
-
-_Manual search functions_
--------------------------
-
-These functions are used to search for particular portions of
-documentation.
-
-> (finddoc manual index-key label)
-  This procedure accepts three strings. The first is the name of 
-  a doc collection, the second is an index entry in that manual, and 
-  the final is a descriptive string. It returns a xexpr representation 
-  of an anchor (in HTML) that points to that index entry in the manual.
-  If the manual is not found, or the index-key is not in the manual,
-  it returns html code that shows an error. Because the link is
-  a "file:" link, it cannot link to a particular anchor in the target.
-  Note that "help" is not a valid value for `manual', because 
-  Help Desk content is not stored in a doc collection.
-
-> (findreldoc to-doc-path manual index-key label)
-  Like `finddoc', but `to-doc-path' is a Unix-style relative path that
-  reaches the "docs" collection. The resulting link is relative, and
-  it can point to a specific anchor in the target.
-
-> (finddoc-page-anchor manual index-key)
-  This procedure accepts two strings. The `manual' argument is the name 
-  of a doc collection, or "help"; the second is an index entry in that 
-  manual.  It returns a forward-slashed path to the manual or Help Desk 
-  entry, to be passed to the Help Desk web server.  For manuals in the 
-  doc collection, that path is of the form "/doc/manual/page#anchor"; 
-  for Help Desk entries, that path is of the form 
-  "/servlets/<rest-of-path>#anchor".  If the manual is not found, or the 
-  index-key is not in the manual, an error occurs.
-
-> (finddoc-page manual index-key)
-  Like `finddoc-page-anchor', but returns only the page, without
-  an anchor.
-
-_Supplemental Help Desk functions_
-----------------------------------
-
-> (set-bug-report-info! string thunk)
-
-  Adds dynamic information used when submitting a bug
-  report.
-
-  The string is the label for the information and the thunk
-  must return a string that is the current value of the
-  information.
-
-> (help-desk:installed-components)
-
-  It returns a string of XHTML with documentation extracted from the 
-  _'blurb_ fields of the info.ss files in each collection.
-
-_Creating Help Desk Documentation in doc.txt files_
-===================================================
-
-Help Desk reads doc.txt files that are named by info.ss
-files (in PLaneT, or in collections or their
-subcollections). The info.ss file should have a line:
-
-  (define doc.txt "filename.txt")
-
-directing Help Desk to read the file named "filename.txt"
-(usually, by convention these files are named "doc.txt").
-
-Index Entry Annotations
-- - - - - - - - - - - -
-
-An index entry is specified by surrounding the indexed phrase with
-underscores, as for the current portion of this file.
-
-Keyword Entry Annotations
-- - - - - - - - - - - - -
-
-A keyword entry is specified using
-
-  >
-
-at the beginning of a line. After the ">", put an S-expression that
-contains only symbols. (Spaces between ">" and the S-expression are
-ignored.) The leftmost atom must be a symbol, and this symbol is used
-as the key for the entry, whereas the whole S-expression is displayed
-when the user searches on the key. (Note: the S-expression is read
-with `read-accept-bar-quote' turned off, since | is useful for showing
-alternatives.)
-
-For example, a keyword entry for `cons' might have the following form:
-
- > (cons v list) - Constructs a new list by ...
-
-When the user searches on "cons", the Help Desk will display a link
-that looks something like
-
- In mytools collection:
-   (cons v list) in "doc.txt"
-    ^^^^^^^^^^^
-Note that a search on "list" will not reveal this entry, because
-"cons" is used as the key, not the whole S-expression.
-
-To create a keyword entry where the key is *not* the leftmost symbol
-in the S-expression, use the following form:
-
-  > keyword :: S-expression
-
-where `keyword' is a Scheme symbol. The special "::" indicator
-instructs the Help Desk to look ahead one more S-expression. For
-example, documentation for a `set-title' method might appear as
-follows:
-
-  > set-title :: (send o set-title string) - sets the title
-
-The "(send o set-title string)" part allows a Help Desk user to learn
-about the calling convention of `set-title' without accessing the
-documentation directly.
-
-_Creating Help Desk Documentation in HTML format_
-===================================================
-
-Help Desk looks for html documentation in two places:
-
-  1) If an info.ss file defines _'html-docs_ to be a list of
-     path strings, Help Desk looks inside those directories
-     for html documentation (the paths are treated as
-     relative to the location of the info.ss file)
-
-  2) Help Desk also looks inside each sub-directory in any
-     `doc' collection (Help Desk searches all doc
-     collections, not just the first one, unlike
-     `collection-path'). 
-
-The starting point for each manual must be called either:
-
-  index.htm
-  index.html
-  <jobname>.html, where <jobname>-Z-H-1.html
-                  also exists in the directory
-
-The last is to support tex2page generation of manuals.
-
-In addition to HTML files, a manual directory can contain a "keywords"
-file, which maps keywords to HTML pages and labels, and an "hdindex"
-file, which similarly maps index entries HTML pages.
-
-The _"keywords"_ File
-- - - - - - - - - - -
-
-The "keywords" file must contain one S-expression (not evaluated),
-which is a list of keyword entries. Each keyword entry is a list of
-five values:
-
-  * keyword - a string, e.g., "cons"
-
-  * result display - a string to be displayed in the search results
-    window when the user searches on the keyword, e.g., "(cons v
-    list)"
-
-  * HTML file - a file name relative to the manual's directory, e.g.,
-    "node198.htm"
-
-  * HTML label - a string representing a label within the HTML file
-
-  * page title - a string presenting the title of the HTML page, e.g.,
-    "List Procedures"
-
-See plt/doc/mzscheme/keywords for an example.
-
-The _"hdindex"_ File
-- - - - - - - - - -
-
-The "hdindex" file is similar to the "keywords" file; it must contain
-one S-expression (not evaluated), which is a list of index entries.
-Each index entry is a list of four strings:
-
-  * indexed item - e.g., "creating help desk documents"
-
-  * HTML file - a file name (represented as a string)
-    relative to the manual's directory, e.g., "node198.htm"
-
-  * HTML label - a label within the HTML file
-
-  * page title - the title of the HTML page, e.g.,
-    "How to Create Help Desk Documents"
-
-See plt/doc/mzscheme/hdindex for an example.
diff --git a/collects/hierlist/info.ss b/collects/hierlist/info.ss
index c846750108..6cc2002434 100644
--- a/collects/hierlist/info.ss
+++ b/collects/hierlist/info.ss
@@ -1,4 +1,3 @@
 
 (module info setup/infotab
-  (define doc.txt "doc.txt")
   (define name "Hierarchical list widget"))
diff --git a/collects/honu-module/info.ss b/collects/honu-module/info.ss
index 6f05020702..0577a87a32 100644
--- a/collects/honu-module/info.ss
+++ b/collects/honu-module/info.ss
@@ -1,5 +1,4 @@
 
 (module info setup/infotab
-  (define doc.txt "doc.txt")
   (define name "#honu"))
 
diff --git a/collects/htdch/graphics/info.ss b/collects/htdch/graphics/info.ss
index 22ec6f80ce..ab6a3bdd13 100644
--- a/collects/htdch/graphics/info.ss
+++ b/collects/htdch/graphics/info.ss
@@ -1,5 +1,4 @@
 (module info setup/infotab
   (define name "Java Graphics Teachpack")
-  (define doc.txt "doc.txt")
   (define assume-virtual-sources #t)
   (define install-collection "installer.ss"))
diff --git a/collects/html/info.ss b/collects/html/info.ss
index 3de9ee942e..b419498459 100644
--- a/collects/html/info.ss
+++ b/collects/html/info.ss
@@ -1,6 +1,5 @@
 (module info setup/infotab
   (define name "HTML")
-  (define doc.txt "doc.txt")
   (define scribblings '(("html.scrbl")))
   (define compile-omit-files
     '("dtd.ss" "dtdr.ss" "dtds.ss" "dtd-ast.ss"
diff --git a/collects/lang/info.ss b/collects/lang/info.ss
index 82c1650608..efd046afed 100644
--- a/collects/lang/info.ss
+++ b/collects/lang/info.ss
@@ -2,7 +2,6 @@
   (require (lib "string-constant.ss" "string-constants"))
   
   (define name "HtDP Languages")
-  (define doc.txt "doc.txt")
   (define tools (list "htdp-langs.ss"))
   (define tool-icons (list '("htdp-icon.gif" "icons")))
   (define tool-names (list "How to Design Programs"))
diff --git a/collects/lang/prim.ss b/collects/lang/prim.ss
index 771466a6cb..d54a4b64e3 100644
--- a/collects/lang/prim.ss
+++ b/collects/lang/prim.ss
@@ -2,7 +2,7 @@
 ;; Provides `define-primitive' and `define-higher-order-primitive'
 ;; for use in teachpacks for Beginner, especially those that
 ;; define a primitive operator that consumes a procedure.
-;; See doc.txt for more information.
+;; See manual for more information.
 
 (module prim mzscheme
   (require (lib "error.ss" "lang")
diff --git a/collects/macro-debugger/info.ss b/collects/macro-debugger/info.ss
index 040dc7dc09..232746efb7 100644
--- a/collects/macro-debugger/info.ss
+++ b/collects/macro-debugger/info.ss
@@ -2,5 +2,4 @@
 (module info setup/infotab
   (define name "Macro Debugger")
   (define tools '(["tool.ss"]))
-  (define tool-names '("Macro Stepper"))
-  (define doc.txt '"doc.txt"))
+  (define tool-names '("Macro Stepper")))
diff --git a/collects/make/info.ss b/collects/make/info.ss
index 6bf0045c51..8be612acad 100644
--- a/collects/make/info.ss
+++ b/collects/make/info.ss
@@ -1,4 +1,3 @@
 
 (module info setup/infotab
-  (define doc.txt "doc.txt")
   (define name "Make"))
diff --git a/collects/make/make-unit.ss b/collects/make/make-unit.ss
index 3953c430a8..4936a2ea64 100644
--- a/collects/make/make-unit.ss
+++ b/collects/make/make-unit.ss
@@ -79,7 +79,7 @@
 	    (raise-type-error 'make/proc "path/string or path/string vector" argv)))
 
       ; make/proc/helper : spec (union path-string (vector-of path-string)) -> void
-      ; effect : make, according to spec and argv. See doc.txt for details
+      ; effect : make, according to spec and argv. See docs for details
       (define (make/proc/helper spec argv)
 	(check-spec spec)
 	(check-argv argv)
diff --git a/collects/mred/info.ss b/collects/mred/info.ss
index 236c335f05..f1395d5cea 100644
--- a/collects/mred/info.ss
+++ b/collects/mred/info.ss
@@ -1,6 +1,5 @@
 
 (module info setup/infotab
-  (define doc.txt "doc.txt")
   (define name "MrEd")
   (define version '(400))
   (define post-install-collection "script-installer.ss"))
diff --git a/collects/mysterx/info.ss b/collects/mysterx/info.ss
index 6789beb0af..4698a934d3 100644
--- a/collects/mysterx/info.ss
+++ b/collects/mysterx/info.ss
@@ -2,5 +2,4 @@
 
 (module info setup/infotab
   (define name "MysterX")
-  (define doc.txt "doc.txt")
   (define post-install-collection "installer.ss"))
diff --git a/collects/mzcom/info.ss b/collects/mzcom/info.ss
index 0980552232..3827a32b38 100644
--- a/collects/mzcom/info.ss
+++ b/collects/mzcom/info.ss
@@ -2,5 +2,4 @@
 
 (module info setup/infotab
   (define name "MzCOM")
-  (define doc.txt "doc.txt")
   (define post-install-collection "installer.ss"))
diff --git a/collects/net/info.ss b/collects/net/info.ss
index c1698afcce..d8eaade098 100644
--- a/collects/net/info.ss
+++ b/collects/net/info.ss
@@ -1,3 +1,2 @@
 (module info setup/infotab
-  (define name "Net")
-  (define doc.txt "doc.txt"))
+  (define name "Net"))
diff --git a/collects/parser-tools/info.ss b/collects/parser-tools/info.ss
index 4fe905d50f..ea6e25a0ab 100644
--- a/collects/parser-tools/info.ss
+++ b/collects/parser-tools/info.ss
@@ -1,5 +1,4 @@
 
 (module info setup/infotab
-  (define doc.txt "doc.txt")
   (define name "Parser-tools"))
 
diff --git a/collects/parser-tools/lex.ss b/collects/parser-tools/lex.ss
index 7cad6c5f40..5edc407012 100644
--- a/collects/parser-tools/lex.ss
+++ b/collects/parser-tools/lex.ss
@@ -1,7 +1,7 @@
 (module lex mzscheme
 
   ;; Provides the syntax used to create lexers and the functions needed to
-  ;; create and use the buffer that the lexer reads from.  See doc.txt.
+  ;; create and use the buffer that the lexer reads from.  See docs.
 	
   (require-for-syntax (lib "list.ss")
                       (lib "stx.ss" "syntax")
diff --git a/collects/planet/info.ss b/collects/planet/info.ss
index 8bc6e2f3b2..e8c55124e7 100644
--- a/collects/planet/info.ss
+++ b/collects/planet/info.ss
@@ -1,5 +1,4 @@
 (module info setup/infotab
   (define name "PLaneT")
-  (define doc.txt "doc.txt")
   (define mzscheme-launcher-names '("planet"))
   (define mzscheme-launcher-libraries '("planet.ss")))
diff --git a/collects/preprocessor/info.ss b/collects/preprocessor/info.ss
index bdd7fefa4f..fdbf1d6990 100644
--- a/collects/preprocessor/info.ss
+++ b/collects/preprocessor/info.ss
@@ -1,5 +1,4 @@
 (module info setup/infotab
   (define name "Preprocessor")
-  (define doc.txt "doc.txt")
   (define mzscheme-launcher-names     '("mzpp"        "mztext"))
   (define mzscheme-launcher-libraries '("mzpp-run.ss" "mztext-run.ss")))
diff --git a/collects/profj/info.ss b/collects/profj/info.ss
index 3b91aafd3e..501cd8bd4f 100644
--- a/collects/profj/info.ss
+++ b/collects/profj/info.ss
@@ -1,7 +1,6 @@
 (module info setup/infotab
   (require (lib "string-constant.ss" "string-constants"))
   (define name "ProfessorJ")
-  (define doc.txt "doc.txt")
   (define tools (list (list "tool.ss") (list "test-tool.ss")))
   (define tool-names '("ProfessorJ" "ProfessorJ Testing"))
   (define install-collection "installer.ss")
diff --git a/collects/repos-time-stamp/info.ss b/collects/repos-time-stamp/info.ss
index 78851af220..e11666b3f9 100644
--- a/collects/repos-time-stamp/info.ss
+++ b/collects/repos-time-stamp/info.ss
@@ -1,5 +1,4 @@
 (module info setup/infotab
   (define name "Repository Time Stamp")
-  (define doc.txt "doc.txt")
   (define tools (list "time-stamp.ss"))
   (define tool-names (list "Repository Time Stamp")))
diff --git a/collects/sgl/info.ss b/collects/sgl/info.ss
index 173d62b469..a881af216d 100644
--- a/collects/sgl/info.ss
+++ b/collects/sgl/info.ss
@@ -1,6 +1,5 @@
 (module info setup/infotab
   (define name "sgl")
-  (define doc.txt "doc.txt")
   (define pre-install-collection "makefile.ss")
   (define compile-omit-files (list))
   (define virtual-sources '("gl-info.ss"))
diff --git a/collects/sirmail/info.ss b/collects/sirmail/info.ss
index 5b761edae7..d54f9db7fc 100644
--- a/collects/sirmail/info.ss
+++ b/collects/sirmail/info.ss
@@ -1,6 +1,5 @@
 
 (module info setup/infotab
-  (define doc.txt "doc.txt")
   (define name "SirMail")
   (define mred-launcher-libraries (list "sirmail.ss"))
   (define mred-launcher-names (list "SirMail"))
diff --git a/collects/slideshow/info.ss b/collects/slideshow/info.ss
index be61038862..0dbee2c09d 100644
--- a/collects/slideshow/info.ss
+++ b/collects/slideshow/info.ss
@@ -1,7 +1,6 @@
 
 (module info setup/infotab
   (define name "Slideshow")
-  (define doc.txt "doc.txt")
   (define tools (list '("tool.ss")))
   (define tool-names (list "Slideshow"))
   (define tool-icons (list (list "slideshow.png" "slideshow")))
diff --git a/collects/srfi/info.ss b/collects/srfi/info.ss
index 12b8ceefe1..3c1659a3fa 100644
--- a/collects/srfi/info.ss
+++ b/collects/srfi/info.ss
@@ -31,7 +31,6 @@
 ;; this file is updated whenever a new release is made.
 
 (module info setup/infotab
-  (define name "srfi")
-  (define doc.txt "doc.txt"))
+  (define name "srfi"))
 
 ;;; info.ss ends here
diff --git a/collects/srpersist/info.ss b/collects/srpersist/info.ss
index 53b10d310d..ae9222e757 100644
--- a/collects/srpersist/info.ss
+++ b/collects/srpersist/info.ss
@@ -5,5 +5,4 @@
 
 (module info setup/infotab
   (define name "SrPersist")
-  (define doc.txt "doc.txt")
   (define compile-omit-files '("info.ss" "srpersist.ss")))
diff --git a/collects/stepper/info.ss b/collects/stepper/info.ss
index 1cbadf1414..6206ef5536 100644
--- a/collects/stepper/info.ss
+++ b/collects/stepper/info.ss
@@ -1,6 +1,5 @@
 (module info setup/infotab
   (define name "Stepper")
-  (define doc.txt "doc.txt")
 
   (define tools '(("stepper+xml-tool.ss")
                   ;; ("debugger-tool.ss")
diff --git a/collects/string-constants/info.ss b/collects/string-constants/info.ss
index 4182b39336..ccba48813a 100644
--- a/collects/string-constants/info.ss
+++ b/collects/string-constants/info.ss
@@ -1,3 +1,2 @@
 (module info setup/infotab
-  (define name "String constants")
-  (define doc.txt "doc.txt"))
+  (define name "String constants"))
diff --git a/collects/syntax-color/info.ss b/collects/syntax-color/info.ss
index c333db134d..f1af08605f 100644
--- a/collects/syntax-color/info.ss
+++ b/collects/syntax-color/info.ss
@@ -1,5 +1,4 @@
 (module info setup/infotab
-  (define name "Syntax Color")
-  (define doc.txt "doc.txt"))
+  (define name "Syntax Color"))
 
 
diff --git a/collects/syntax/info.ss b/collects/syntax/info.ss
index f1ee3eba9c..4b3ed7158e 100644
--- a/collects/syntax/info.ss
+++ b/collects/syntax/info.ss
@@ -1,5 +1,4 @@
 
 (module info setup/infotab
-  (define doc.txt "doc.txt")
   (define name "Syntax Utilities"))
 
diff --git a/collects/test-box-recovery/info.ss b/collects/test-box-recovery/info.ss
index d6c03c6f7a..49acc04739 100644
--- a/collects/test-box-recovery/info.ss
+++ b/collects/test-box-recovery/info.ss
@@ -1,6 +1,5 @@
 
 (module info setup/infotab
-  (define doc.txt "doc.txt")
   (define name "Test Box Recovery")
   (define categories '(devtools))
   (define required-core-version "370")
diff --git a/collects/texpict/info.ss b/collects/texpict/info.ss
index 4f6fbd62f4..69419bd0f3 100644
--- a/collects/texpict/info.ss
+++ b/collects/texpict/info.ss
@@ -1,3 +1,2 @@
 (module info setup/infotab
-  (define name "Texpict")
-  (define doc.txt "doc.txt"))
+  (define name "Texpict"))
diff --git a/collects/trace/calltrace-lib.ss b/collects/trace/calltrace-lib.ss
index b22f1ab15b..c5c8dd7796 100644
--- a/collects/trace/calltrace-lib.ss
+++ b/collects/trace/calltrace-lib.ss
@@ -1,6 +1,6 @@
 
 ;; Poor man's stack-trace-on-exceptions/profiler.
-;; See doc.txt for information.
+;; See docs for information.
 
 (module calltrace-lib mzscheme
   (require "stacktrace.ss"
diff --git a/collects/trace/calltrace.ss b/collects/trace/calltrace.ss
index f41ef32f37..cd3f6ea655 100644
--- a/collects/trace/calltrace.ss
+++ b/collects/trace/calltrace.ss
@@ -1,10 +1,9 @@
 
 ;; Poor man's call tracer.
-;; See doc.txt for information.
 
 (module calltrace mzscheme
   (require "calltrace-lib.ss")
   
   (provide instrumenting-enabled)
   
-  (current-eval calltrace-eval-handler))
\ No newline at end of file
+  (current-eval calltrace-eval-handler))
diff --git a/collects/trace/info.ss b/collects/trace/info.ss
index 1f6d386513..c3c68f4e73 100644
--- a/collects/trace/info.ss
+++ b/collects/trace/info.ss
@@ -1,3 +1,2 @@
 (module info setup/infotab
-  (define name "Calltrace")
-  (define doc.txt "doc.txt"))
+  (define name "Calltrace"))
diff --git a/collects/version/info.ss b/collects/version/info.ss
index 4c4ce335a3..8d5d84df62 100644
--- a/collects/version/info.ss
+++ b/collects/version/info.ss
@@ -1,5 +1,4 @@
 (module info setup/infotab
   (define name "Version")
-  (define doc.txt "doc.txt")
   (define tools (list "tool.ss"))
   (define tool-names (list "Version")))
diff --git a/collects/wxme/info.ss b/collects/wxme/info.ss
index 7818920863..7d2da300da 100644
--- a/collects/wxme/info.ss
+++ b/collects/wxme/info.ss
@@ -1,5 +1,4 @@
 
 (module info setup/infotab
-  (define doc.txt "doc.txt")
   (define name "WXME"))
 
diff --git a/collects/xml/info.ss b/collects/xml/info.ss
index dd4f01f518..d29c9d348c 100644
--- a/collects/xml/info.ss
+++ b/collects/xml/info.ss
@@ -1,6 +1,5 @@
 (module info setup/infotab
   (define name "XML")
-  (define doc.txt "doc.txt")
   ;; the XML tool has been moved to the stepper collection, so that 
   ;; the stepper can create xml snips.  See collects/stepper/tool.ss for (a bit) more information
   (define tools '(("text-box-tool.ss")))