user.texinfo: There are no "former microcode modules" anymore.

diff --git a/doc/user-manual/user.texinfo b/doc/user-manual/user.texinfo
index 32e8517a964ce80cb149d80ec6409dfe7947207b..164d11b56d7dc2d7a8a31fa95f6fed8ff78d916f 100644 (file)
--- a/doc/user-manual/user.texinfo
+++ b/doc/user-manual/user.texinfo
@@ -3841,9 +3841,10 @@ this is a @emph{bleeding edge} core.  The head of the MIT/GNU Scheme
 project's development branch on Savannah is merged in frequently.
 
 The experimental code in this ``pucked'' version is almost entirely
-contained in the new plugins.  The core was changed only to hook the
-Gtk screen into Edwin, and this change should not be apparent to the
-casual user.  If your code does not hack Edwin and you previously said
+contained in the new plugins.  One ``old'' plugin, Edwin, has
+significant changes that accommodate Gtk screens, but this change
+should not be apparent to casual users.  If your code does not hack
+Edwin and you previously said
 
 @example
 mit-scheme --load my-code
@@ -3860,26 +3861,7 @@ mit-scheme-pucked --load my-code
 and be no worse off.
 
 @noindent
-Users @emph{may} need to make the following changes to their code.
-
-@itemize @bullet
-@item
-The Edwin subsystem is a plugin; it is no longer included in the
-default band @file{all.com}.  However that band still handles the
-@code{--edit} command line option and provides an @code{edit}
-procedure.  Either method of launching Edwin autoloads it with an
-appropriate screen type.  If you are launching Edwin some other way,
-you will probably need to load a screen plugin first, e.g.@:
-@code{x11-screen}.
-
-@item
-Edwin has had a number of screen procedures turned into SOS generic
-procedures, to support the experimental Gtk screen type.  Such changes
-are transparent except that loading Edwin now loads SOS.
-@end itemize
-
-@noindent
-Users may also want to use the following enhancements in their code.
+Users may want to use the following enhancements in their code.
 
 @itemize @bullet
 @item
@@ -3900,12 +3882,11 @@ online or offline, using a file URL like the following Ubuntu locator.
 HTML documentation for installed plugins is found in the same location.
 
 @item
-The @code{mit-scheme-pucked-planetarium} plugin can draw a simple
-tellurion, but that's about all.
+The @code{planetarium} plugin can draw a simple tellurion, but that's
+about all.
 
 @item
-The @code{mit-scheme-pucked-gtk-screen} plugin allows Edwin to display
-text using Pango.
+The @code{gtk-screen} plugin allows Edwin to display text using Pango.
 @end itemize
 
 @cindex cond-expand feature
@@ -4182,9 +4163,9 @@ will need to build and install each required plugin before the plugins
 that require it.
 
 If you are looking for the same functionality you found in MIT/GNU
-Scheme you will want all of the plugins listed in the ``Former
-Microcode Modules'' section of the home page.  Your desired plugins
-are: blowfish, edwin, gdbm, imail, mcrypt, x11, and x11-screen.
+Scheme you will want all of the plugins listed in the ``Standard
+Plugins'' section of the home page.  Your desired plugins are:
+blowfish, edwin, gdbm, imail, mcrypt, x11, and x11-screen.
 
 The plugins are not distributed in binary form (except as Ubuntu
 packages).  With the core Scheme system installed, their Scheme code