[extensions-web] about.html: Minor edits to the copy text to make it clearer

[Jasper St. Pierre <jstpierre src gnome org>]

commit 9420b7627b2044d60fb181d730a33aa0eac66fe5
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Thu Dec 1 16:55:50 2011 -0500

    about.html: Minor edits to the copy text to make it clearer

 .../extensions/templates/extensions/about.html     |   24 ++++++++++----------
 1 files changed, 12 insertions(+), 12 deletions(-)
---
diff --git a/sweettooth/extensions/templates/extensions/about.html b/sweettooth/extensions/templates/extensions/about.html
index 3dec66c..2d2a8b8 100644
--- a/sweettooth/extensions/templates/extensions/about.html
+++ b/sweettooth/extensions/templates/extensions/about.html
@@ -3,11 +3,11 @@
 {% block body %}
 <h2> What is GNOME Shell? </h2>
 <p>
-GNOME Shell provides core user interface functions for the GNOME
-desktop, like switching to windows and launching applications. User
-interface elements provided by GNOME Shell include, among other
-things, the Panel at the top of the screen, the Activities Overview,
-and Message Tray at the bottom of the screen.
+GNOME Shell provides core user interface functions for GNOME,
+like switching to windows and launching applications. User
+interface elements provided by GNOME Shell include the Panel
+at the top of the screen, the Activities Overview, and Message Tray
+at the bottom of the screen.
 </p>
 <h2> What are GNOME Shell Extensions? </h2>
 <p>
@@ -19,27 +19,27 @@ extensions using this website.
 </p>
 <p>
 Since extensions are created outside of the normal GNOME design and
-development process, they are are supported by their authors, rather
+development process, they are supported by their authors, rather
 than by the GNOME community. Some features first implemented as
-extensions will likely find their way into future versions of GNOME.
+extensions might find their way into future versions of GNOME.
 </p>
 <h2> What can GNOME Shell Extensions do? </h2>
 <p>
-When you install a GNOME Shell Extension, this adds new functionality
-to your OS. Extensions may make small changes, like moving your clock
+Extensions may make small changes, like moving your clock
 to the right-hand side of the screen, or make big changes, like
 arranging the windows in the Activities Overview in a different way.
 </p>
 <h2> Are GNOME Shell Extensions safe? </h2>
 <p>
 The code in a GNOME Shell extension becomes part of the core operating
-system; for this reason, the potential exists for an extension to
+system. For this reason, the potential exists for an extension to
 causes system misbehavior, crashes, or even to have malicious
 behavior like spying on the user or displaying unwanted
-advertisements. Extensions uploaded to this site are carefully
+advertisements. All extensions uploaded to this site are carefully
 reviewed for malicious behavior before they are made available for
 download. This process of code review is similar to the process for
-Firefox add-ons submitted to addons.mozilla.org.
+Firefox add-ons submitted to <a href="http://addons.mozilla.org";>
+addons.mozilla.org</a>.
 </p>
 <p>
 If you encounter problems with an extension, such as a crash, make