[gnome-user-docs] keyboard-layouts: add credits and link to keyboard-key-super

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

commit 18dc53b3cb6476b6e58dff9514a2c32647cf2e28
Author: Juanjo Marín <juanj marin juntadeandalucia es>
Date:   Sat Mar 23 23:44:00 2013 +0100

    keyboard-layouts: add credits and link to keyboard-key-super

 gnome-help/C/keyboard-layouts.page |   11 ++++++++---
 1 files changed, 8 insertions(+), 3 deletions(-)
---
diff --git a/gnome-help/C/keyboard-layouts.page b/gnome-help/C/keyboard-layouts.page
index 8ebd358..230081e 100644
--- a/gnome-help/C/keyboard-layouts.page
+++ b/gnome-help/C/keyboard-layouts.page
@@ -21,6 +21,10 @@
       <name>Michael Hill</name>
       <email>mdhillca gmail com</email>
     </credit>
+    <credit type="editor">
+      <name>Juanjo Marín</name>
+      <email>juanj marin juntadeandalucia es</email>
+    </credit>
 
     <desc>Make your keyboard behave like a keyboard for another language.</desc>
     <include href="legal.xml" xmlns="http://www.w3.org/2001/XInclude"/>
@@ -84,9 +88,10 @@
   <p>The fastest way to change to another layout is by using the input source
   keyboard shortcuts. These shortcuts open the input source chooser where you
   can move forward and backward. By default, you can switch to the next input
-  source with <keyseq><key>Super</key><key>Space</key></keyseq> and to the
-  previous one with <keyseq><key>Shift</key><key>Super</key><key>Space</key>
-  </keyseq>. You can change these shortcuts in the keyboard settings.</p>
+  source with <keyseq><key xref="keyboard-key-super">Super</key><key>Space</key>
+  </keyseq> and to the previous one with <keyseq><key>Shift</key><key>Super</key>
+  <key>Space</key></keyseq>. You can change these shortcuts in the keyboard
+  settings.</p>
 
   <p><media type="image" src="figures/input-methods-switcher.png"/></p>