*synthetic* "Parabola GNU/Linux"->"Parabola GNU/Linux-libre" ; "ArchLinux"->"ArchGNU/Linux"

1 files changed, 14 insertions, 14 deletions

diff --git a/Parabola_GNU%2FLinux-libre_Social_Contract.md b/Parabola_GNU%2FLinux-libre_Social_Contract.md
index 095abe5..57be883 100644
--- a/Parabola_GNU%2FLinux-libre_Social_Contract.md
+++ b/Parabola_GNU%2FLinux-libre_Social_Contract.md
@@ -1,32 +1,32 @@
-The social contract of Parabola GNU/Linux is a commitment of the
+The social contract of Parabola GNU/Linux-libre is a commitment of the
 distribution with the libre software community in general and its users
 in particular. It is because of this that our social contract will
 always follow the philosophy of free knowledge. All the amendments to
 this social contract must be faithful to the spirit of the [Free
 Software Movement](http://en.wikipedia.org/wiki/Free_software_movement).
 
-1.  **Parabola GNU/Linux is libre software:** it will follow the [GNU
-    free system distribution
+1.  **Parabola GNU/Linux-libre is libre software:** it will follow the
+    [GNU free system distribution
     guidelines](http://www.gnu.org/distros/free-system-distribution-guidelines.html),
     so it doesn't include or recommend proprietary software or
     documentation and it does not provide any type of support for their
     installation or execution. This includes: proprietary software,
     binary only firmware or [binary
     blobs](http://en.wikipedia.org/wiki/Binary_blob).
-2.  **Parabola GNU/Linux and other distributions:** Parabola's objective
-    is to support the free software movement so we only need to compete
-    against nonfree software. Parabola will strive to support other free
-    software projects as best it can and any information from our
-    project will be available for anybody who needs it. That includes
-    our packages and repositories.
-3.  **Parabola GNU/Linux and its community:** our community is
+2.  **Parabola GNU/Linux-libre and other distributions:** Parabola's
+    objective is to support the free software movement so we only need
+    to compete against nonfree software. Parabola will strive to support
+    other free software projects as best it can and any information from
+    our project will be available for anybody who needs it. That
+    includes our packages and repositories.
+3.  **Parabola GNU/Linux-libre and its community:** our community is
     democratic in its essence, so the community is included whenever
     there is a need to take a decision. We encourage community
     participation in the development of the project.
-4.  **Parabola GNU/Linux and ArchLinux:** Parabola is the free version
-    of [ArchLinux](http://www.archlinux.org/). We provide repositories
-    and installation images without any nonfree software. We respect
-    Arch's KISS philosophy (Keep It Simple, Stupid) and its
+4.  **Parabola GNU/Linux-libre and ArchGNU/Linux:** Parabola is the free
+    version of [ArchGNU/Linux](http://www.archlinux.org/). We provide
+    repositories and installation images without any nonfree software.
+    We respect Arch's KISS philosophy (Keep It Simple, Stupid) and its
     developing process. In that sense, Parabola will always maintain
     retro compatibility with Arch so as to help free already
     working installations.