gnu: Synchronize synopses and descriptions with the Womb.

* gnu/packages/gnunet.scm (gnunet): Synchronize description and synopsis
  with upstream.
* gnu/packages/maths.scm (units): Likewise.
* gnu/packages/grub.scm (grub): Likewise.
* gnu/packages/pretty-print.scm (enscript): Likewise.

gnu/packages/gnunet.scm

@@ -240,12 +240,15 @@ supports HTTPS, HTTPS and GnuTLS.")
           (alist-delete
            'check
            %standard-phases)))))
-   (synopsis "Anonymous peer-to-peer file-sharing framework")
+   (synopsis "Secure, decentralized, peer-to-peer networking framework")
    (description
-    "GNUnet is a framework for secure, peer-to-peer networking.  It works in a
-decentralized manner and does not rely on any notion of trusted services.  One
-service implemented on it is censorship-resistant file-sharing.  Communication
-is encrypted and anonymity is provided by making messages originating from a
-peer indistinguishable from those that the peer is routing.")
+    "GNUnet is a framework for secure peer-to-peer networking that does not
+use any centralized or otherwise trusted services.  Our high-level goal is to
+provide a strong free software foundation for a global network that provides
+security and privacy.  GNUnet started with an idea for anonymous
+censorship-resistant file-sharing, but has grown to incorporate other
+applications as well as many generic building blocks for secure networking
+applications.  In particular, GNUnet now includes the GNU Name System, a
+privacy-preserving, decentralized public key infrastructure.")
    (license license:gpl3+)
    (home-page "https://gnunet.org/")))

gnu/packages/grub.scm

@@ -101,8 +101,8 @@
     (description
      "GRUB is a multiboot bootloader.  It is used for initially loading the
 kernel of an operating system and then transferring control to it. The kernel
-then goes on to load the rest of the operating system. As a multiboot boot
-loader, GRUB handles the presence of multiple operating systems installed on
-the same computer; upon booting the computer, the user is presented with a
+then goes on to load the rest of the operating system. As a multiboot
+bootloader, GRUB handles the presence of multiple operating systems installed
+on the same computer; upon booting the computer, the user is presented with a
 menu to select one of the installed operating systems.")
     (license gpl3+)))

gnu/packages/maths.scm

@@ -61,11 +61,11 @@
    (build-system gnu-build-system)
    (synopsis "Conversion between thousands of scales")
    (description
-    "GNU Units converts between measured quantities between units of
-measure.  It can handle scale changes through adaptive usage of standard
-scale prefixes (micro-, kilo-, etc.).  It can also handle nonlinear
-conversions such as Fahrenheit to Celsius.  Its interpreter is powerful
-enough to be used effectively as a scientific calculator.")
+    "GNU Units converts numeric quantities between units of measure.  It
+can handle scale changes through adaptive usage of standard scale prefixes
+(micro-, kilo-, etc.).  It can also handle nonlinear conversions such as
+Fahrenheit to Celsius.  Its interpreter is powerful enough to be used
+effectively as a scientific calculator.")
    (license license:gpl3+)
    (home-page "http://www.gnu.org/software/units/")))
 

gnu/packages/pretty-print.scm

@@ -150,7 +150,7 @@ indentation counting, function and file indices and more.")
     (synopsis "Generating PostScript, including pretty-printing")
     (description
      "GNU Enscript is a program to convert ASCII text files to PostScript,
-HTML or RTF formats, to be stored in files or sent immediately to a printer.
+HTML or RTF formats, to be stored in files or sent immediately to a printer. 
 It also includes the capability to perform syntax highlighting for several
 different programming languages.")
     (license gpl3+)))