--- a/doc/manual/intro.texinfo
+++ b/doc/manual/intro.texinfo
@@ -24,16 +24,8 @@
 @section ANSI Conformance
 
 Essentially every type of non-conformance is considered a bug. (The
-exceptions involve internal inconsistencies in the standard.) In SBCL
-the master record of known bugs is in the @file{BUGS} file in the
-distribution.
-
-The recommended way to report bugs is through the @cite{sbcl-help} or
-@cite{sbcl-devel} mailing lists. For mailing list addresses,
-see @ref{SBCL Homepage}; note that as a spam-reduction measure you
-must subscribe before you can post.
-
-
+exceptions involve internal inconsistencies in the standard.)
+@xref{Reporting Bugs}.
 
 @node Extensions
 @comment  node-name,  next,  previous,  up
@@ -348,8 +340,8 @@
 
 @menu
 * SBCL Homepage::               
-* Additional Distributed Documentation::  
 * Online Documentation::        
+* Additional Documentation Files::  
 * Internals Documentation::     
 @end menu
 
@@ -362,39 +354,6 @@
 archives of these mailing lists. Subscribing to the mailing lists
 @cite{sbcl-help} and @cite{sbcl-announce} is recommended: both are
 fairly low-volume, and help you keep abrest with SBCL development.
-
-@node Additional Distributed Documentation
-@comment  node-name,  next,  previous,  up
-@subsection Additional Distributed Documentation
-
-Besides this user manual both SBCL source and binary distributions
-include some other SBCL-specific documentation files, which should be
-installed along with this manual in on your system, eg. in
-@file{/usr/local/share/doc/sbcl/}.
-
-@table @file
-
-@item BUGS
-Lists known bugs in the distribution.
-
-@item COPYING
-Licence and copyright summary.
-
-@item CREDITS
-Authorship information on various parts of SBCL.
-
-@item INSTALL
-Covers installing SBCL from both source and binary distributions on
-your system, and also has some installation related troubleshooting
-information.
-
-@item NEWS
-Summarizes changes between various SBCL versions.
-
-@item SUPPORT
-Lists SBCL developers available for-pay development of SBCL.
-
-@end table
 
 @node Online Documentation
 @comment  node-name,  next,  previous,  up
@@ -409,6 +368,33 @@
 described in their documentation strings, unless your SBCL was
 compiled with an option not to include documentation strings, in which
 case the documentation strings are only readable in the source code.
+
+@node Additional Documentation Files
+@comment  node-name,  next,  previous,  up
+@subsection Additional Documentation Files
+
+Besides this user manual both SBCL source and binary distributions
+include some other SBCL-specific documentation files, which should be
+installed along with this manual in on your system, eg. in
+@file{/usr/local/share/doc/sbcl/}.
+
+@table @file
+
+@item COPYING
+Licence and copyright summary.
+
+@item CREDITS
+Authorship information on various parts of SBCL.
+
+@item INSTALL
+Covers installing SBCL from both source and binary distributions on
+your system, and also has some installation related troubleshooting
+information.
+
+@item NEWS
+Summarizes changes between various SBCL versions.
+
+@end table
 
 @node Internals Documentation
 @comment  node-name,  next,  previous,  up