02/02: website: guix-system-arm: Update footer.

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository guix-artwork.

commit 9468d9c5501ad13883d58be31f43e172f69de3af
Author: Ludovic Courtès <address@hidden>
Date:   Wed Nov 27 14:47:22 2019 +0100

    website: guix-system-arm: Update footer.
    
    * website/posts/guix-system-arm.md: Use current footer.
---
 website/posts/guix-system-arm.md | 27 ++++++++++++---------------
 1 file changed, 12 insertions(+), 15 deletions(-)

diff --git a/website/posts/guix-system-arm.md b/website/posts/guix-system-arm.md
index 2a766ac..6ee0059 100644
--- a/website/posts/guix-system-arm.md
+++ b/website/posts/guix-system-arm.md
@@ -262,24 +262,21 @@ Make sure there is an empty /etc, or the new system won't 
boot properly.  You ca
 copy your config.scm to the new `/etc` directory.  You can now reboot and 
enjoy your
 new Guix System!
 
-About GNU Guix
---------------
+#### About GNU Guix
 
 [GNUÂ Guix](https://www.gnu.org/software/guix) is a transactional package
-manager for the GNU system.  The Guix System Distribution or GuixSD is
-an advanced distribution of the GNU system that relies on GNU Guix and
-[respects the user's
+manager and an advanced distribution of the GNU system that [respects
+user
 freedom](https://www.gnu.org/distros/free-system-distribution-guidelines.html).
+Guix can be used on top of any system running the kernel Linux, or it
+can be used as a standalone operating system distribution for i686,
+x86_64, ARMv7, and AArch64 machines.
 
 In addition to standard package management features, Guix supports
 transactional upgrades and roll-backs, unprivileged package management,
-per-user profiles, and garbage collection.  Guix uses low-level
-mechanisms from the Nix package manager, except that packages are
-defined as native [Guile](https://www.gnu.org/software/guile) modules,
-using extensions to the [Scheme](http://schemers.org) language.  GuixSD
-offers a declarative approach to operating system configuration
-management, and is highly customizable and hackable.
-
-GuixSD can be used on an i686, x86_64 and armv7 machines.  It is also
-possible to use Guix on top of an already installed GNU/Linux system,
-including on mips64el and aarch64.
+per-user profiles, and garbage collection.  When used as a standalone
+GNU/Linux distribution, Guix offers a declarative, stateless approach to
+operating system configuration management.  Guix is highly customizable
+and hackable through [Guile](https://www.gnu.org/software/guile)
+programming interfaces and extensions to the
+[Scheme](http://schemers.org) language.