user-manual: wordsmithing, a foolish consistency

diff --git a/doc/user-manual/user.texinfo b/doc/user-manual/user.texinfo
index 444ab59b26f8b9610f04f5b187693bac6fbf3a92..d7b36cc379ffd81ce4d9a75de6b175a5d93bfdee 100644 (file)
--- a/doc/user-manual/user.texinfo
+++ b/doc/user-manual/user.texinfo
@@ -4104,11 +4104,11 @@ and all of its required plugins.
 If you would like to verify that the downloaded files are authentic
 you will need the corresponding @file{.changes} files.  Each contains
 checksums for the package files and is signed.  If you saved Puck's
-GPG key in @file{~/Downloads/puck.txt}, you can add it to your keyring
-like this:
+GPG key in @file{~/Downloads/codemaster.txt}, you can add it to your
+keyring like this:
 
 @example
-gpg --import ~/Downloads/puck.txt
+gpg --import ~/Downloads/codemaster.txt
 @end example
 
 Then verify the signature on the @file{.changes} file like this:
@@ -4141,8 +4141,9 @@ sudo dpkg --install ${P}-x11-screen_0.2.1-1_amd64.deb
 @end verbatim
 
 As mentioned above, when you upgrade to a new version of Ubuntu you
-should first remove the @code{mit-scheme-pucked} package (and all of
-its plugins), then re-install them after changing the source URL.
+should first remove the @code{mit-scheme-pucked} package (which should
+remove all of its plugins), then install the packages built for your
+new Ubuntu.
 
 @node Unix Installation
 @section Unix Installation