[gnome-user-docs] The tag for Super key has been changed so that there is at least one link to the shell terminology p

[Jana Svarova <jsvarova src gnome org>]

commit e9192b0a60fed3239ad901dbf83dc1e3e606c18e
Author: Jana Svarova <jsvarova redhat com>
Date:   Tue Apr 30 16:34:26 2013 +0200

    The tag for Super key has been changed so that there is at least one link to the shell terminology per 
page

 gnome-help/C/keyboard-key-super.page      |    9 +++++----
 gnome-help/C/shell-windows-switching.page |    2 +-
 gnome-help/C/shell-workspaces-switch.page |    6 +++---
 3 files changed, 9 insertions(+), 8 deletions(-)
---
diff --git a/gnome-help/C/keyboard-key-super.page b/gnome-help/C/keyboard-key-super.page
index 184a305..2eb5c43 100644
--- a/gnome-help/C/keyboard-key-super.page
+++ b/gnome-help/C/keyboard-key-super.page
@@ -24,10 +24,11 @@
 
   <title>What is the <key>Super</key> key?</title>
 
-  <p>When you press the <key>Super</key> key, the activities overview is
-  displayed. This key can usually be found on the bottom-left of your keyboard,
-  next to the <key>Alt</key> key, and usually has a Windows logo on it. It is
-  sometimes called the <em>Windows key</em> or system key.</p>
+  <p>When you press the <key xref="keyboard-key-super">Super</key> key,
+  the activities overview is displayed. This key can usually be found on the
+  bottom-left of your keyboard, next to the <key>Alt</key> key, and usually has
+  a Windows logo on it. It is sometimes called the <em>Windows key</em> or
+  system key.</p>
 
   <note>
     <p>If you have an Apple keyboard, you will have a <key>⌘</key> (Command)
diff --git a/gnome-help/C/shell-windows-switching.page b/gnome-help/C/shell-windows-switching.page
index 2459a12..06b9619 100644
--- a/gnome-help/C/shell-windows-switching.page
+++ b/gnome-help/C/shell-windows-switching.page
@@ -9,7 +9,7 @@
     <link type="guide" xref="shell-windows#working-with-windows"/>
     <link type="guide" xref="shell-overview#apps"/>
 
-    <desc>Press <keyseq><key>Super</key><key>Tab</key></keyseq>.</desc>
+<desc>Press <keyseq><key xref="keyboard-key-super">Super</key><key>Tab</key></keyseq>.</desc>
     <revision pkgversion="3.4.0" date="2012-02-19" status="review"/>
 
     <credit type="author">
diff --git a/gnome-help/C/shell-workspaces-switch.page b/gnome-help/C/shell-workspaces-switch.page
index 5b533a2..1de98cc 100644
--- a/gnome-help/C/shell-workspaces-switch.page
+++ b/gnome-help/C/shell-workspaces-switch.page
@@ -46,9 +46,9 @@
  <list>
  <title>Using the keyboard:</title>  
   <item>
-   <p>Press <keyseq><key>Super</key><key>Page Up</key></keyseq> to move to a
-    workspace which is above the current workspace in the workspace selector.
-    </p>
+  <p>Press <keyseq><key xref="keyboard-key-super">Super</key><key>Page Up</key></keyseq>
+  to move to a workspace which is above the current workspace in the workspace
+  selector.</p>
   </item>
   <item>
    <p>Press <keyseq><key>Super</key><key>Page Down</key></keyseq> to move to a