doc/user-manual: Typo: unnumbered/unnumberedsec. More hammering.

Actually made these sections, not unnumberedsecs.  Moved mention of
"pucked" (mis)feature (and "experimental code") to end (after
"Experimental Changes").  And fixed a lingering "yakkety".

diff --git a/doc/user-manual/user.texinfo b/doc/user-manual/user.texinfo
index 03e1c2363565349b4a527991107839065f7b9dcd..dde13630023058ae0a3c91d492c35e5b5dcb36c5 100644 (file)
--- a/doc/user-manual/user.texinfo
+++ b/doc/user-manual/user.texinfo
@@ -3840,7 +3840,7 @@ MIT/GNU Scheme Pucked, and a new command name,
 stable release.  While it comes with an assortment of plugins and a
 strange name, the core of the system is largely unchanged.
 
-@unnumbered Proposed Changes
+@section Proposed Changes
 
 The core of MIT/GNU Scheme Pucked is the @emph{bleeding edge core}.
 The head of the MIT/GNU Scheme project's development branch on
@@ -3887,12 +3887,8 @@ support both parameters and fluid bound bindings, both legacy and
 Unicode strings.  It should thus be possible to run mixtures of old
 and new code, allowing you to replace references to deprecated
 bindings in stages.
-@cindex cond-expand feature
-@cindex feature, cond-expand
-And you can use the @code{cond-expand} feature @code{pucked} to keep
-your adaptations to this experiment out of your stable worlds.
 
-@unnumbered Experimental Changes
+@section Experimental Changes
 
 The experimental code in this ``pucked'' version is almost entirely
 contained in the plugins.  The core was changed only to replace the
@@ -3992,6 +3988,12 @@ The @code{mit-scheme-pucked-gtk-screen} plugin allows Edwin to display
 text using Pango.
 @end itemize
 
+@cindex cond-expand feature
+@cindex feature, cond-expand
+The @code{cond-expand} feature @code{pucked} will be present, to keep
+your adaptations to this experiment separate from old code intended
+only for your stable worlds.
+
 @c A full @node spec is needed here to avoid a bogus warning.
 @node Installation, GNU Free Documentation License, Release Notes, Top
 @chapter Installation
@@ -4042,7 +4044,7 @@ On Ubuntu 17.04 (Zesty Zapus) you would use this command:
 
 @example
 sudo add-apt-repository \
-        -s "deb http://birchwood-abbey.net/ubuntu/ birchwood yakkety"
+        -s "deb http://birchwood-abbey.net/ubuntu/ birchwood zesty"
 @end example
 
 or by editing files in @file{/etc/apt/}.
@@ -4210,7 +4212,7 @@ Depending on configuration options and file-system permissions, you
 may need super-user privileges to do the installation step.
 @end enumerate
 
-@unnumbered Plugin Selection and Installation
+@section Plugin Selection and Installation
 
 The project home page lists the available plugins with short
 descriptions to help you choose from among them.  Click on the