[gnome-user-docs] shell-keyboard-shortcuts: Switch Alt+` to Super+`

[Juan Jose Marin Martinez <jjmarin src gnome org>]

commit 9a3536f589f1be464f1de5a26201f56bc45505b8
Author: Juanjo Marín <juanj marin juntadeandalucia es>
Date:   Sun Mar 17 23:24:21 2013 +0100

    shell-keyboard-shortcuts: Switch Alt+` to Super+`

 gnome-help/C/keyboard-nav.page             |    2 +-
 gnome-help/C/shell-keyboard-shortcuts.page |   12 ++++++------
 2 files changed, 7 insertions(+), 7 deletions(-)
---
diff --git a/gnome-help/C/keyboard-nav.page b/gnome-help/C/keyboard-nav.page
index 923ca04..2003173 100644
--- a/gnome-help/C/keyboard-nav.page
+++ b/gnome-help/C/keyboard-nav.page
@@ -142,7 +142,7 @@
            xpointer="super-tab"/>
   <include xmlns="http://www.w3.org/2001/XInclude";
            href="shell-keyboard-shortcuts.page"
-           xpointer="alt-tick"/>
+           xpointer="super-tick"/>
   <include xmlns="http://www.w3.org/2001/XInclude";
            href="shell-keyboard-shortcuts.page"
            xpointer="ctrl-alt-tab"/>
diff --git a/gnome-help/C/shell-keyboard-shortcuts.page b/gnome-help/C/shell-keyboard-shortcuts.page
index 7510b53..d6906bc 100644
--- a/gnome-help/C/shell-keyboard-shortcuts.page
+++ b/gnome-help/C/shell-keyboard-shortcuts.page
@@ -38,7 +38,7 @@ information on navigating user interfaces with only the keyboard.</p>
 <title>Getting around the desktop</title>
   <tr xml:id="alt-f1">
     <td><p><keyseq><key>Alt</key><key>F1</key></keyseq> or the
-    <link xref="keyboard-key-super"><key>Super</key> key</link></p></td>
+    <key xref="keyboard-key-super">Super</key> key</p></td>
     <td><p>Switch between the <gui>Activities</gui> overview and desktop. In
     the overview, start typing to instantly search your applications, contacts,
     and documents.</p></td>
@@ -52,14 +52,14 @@ information on navigating user interfaces with only the keyboard.</p>
     <td><p><link xref="shell-windows-switching">Quickly switch between
     windows</link>. Hold down <key>Shift</key> for reverse order.</p></td>
   </tr>
-  <tr xml:id="alt-tick">
-    <td><p><keyseq><key>Alt</key><key>`</key></keyseq></p></td>
+  <tr xml:id="super-tick">
+    <td><p><keyseq><key>Super</key><key>`</key></keyseq></p></td>
     <td>
       <p>Switch between windows from the same application, or from the selected
       application after <keyseq><key>Super</key><key>Tab</key></keyseq>.</p>
       <p>This shortcut uses <key>`</key> on US keyboards, where the <key>`</key>
       key is above <key>Tab</key>. On all other keyboards, the shortcut is
-      <key>Alt</key> plus the key above <key>Tab</key>.</p>
+      <key>Super</key> plus the key above <key>Tab</key>.</p>
     </td>
   </tr>
   <tr xml:id="ctrl-alt-tab">
@@ -72,8 +72,8 @@ information on navigating user interfaces with only the keyboard.</p>
       navigate.</p>
       <p>It is not currently possible to use the arrow keys to navigate the
       windows overview. To switch windows, exit the overview and use
-      <keyseq><key>Alt</key><key>Tab</key></keyseq> and
-      <keyseq><key>Alt</key><key>`</key></keyseq>.</p>
+      <keyseq><key>Super</key><key>Tab</key></keyseq> and
+      <keyseq><key>Super</key><key>`</key></keyseq>.</p>
     </td>
   </tr>
   <tr xml:id="super-a">