diff --git a/collects/help/help.ss b/collects/help/help.ss
index 08169aea..0abf50e1 100644
--- a/collects/help/help.ss
+++ b/collects/help/help.ss
@@ -1,10 +1,9 @@
-(require-library "errortrace.ss" "errortrace")
-(error-print-width 80)
+; (require-library "errortrace.ss" "errortrace")
+; (error-print-width 80)
 #|
  TODO:
    * demonstrate setup-plt launcher
    * manuals as `doc' sub-collections?
-   * doc.txt in sub-collections?
 |#