[gnome-user-docs] Shortcut to lock screen is Super + L nowadays

[Baptiste Mille-Mathias <baptistem src gnome org>]

commit 814d09f1fb6b2803484ec8726503672fb981e401
Author: Baptiste Mille-Mathias <baptiste millemathias gmail com>
Date:   Sat Nov 30 13:19:01 2013 +0100

    Shortcut to lock screen is Super + L nowadays

 gnome-help/C/keyboard-shortcuts-set.page   |    2 +-
 gnome-help/C/shell-keyboard-shortcuts.page |    3 +--
 2 files changed, 2 insertions(+), 3 deletions(-)
---
diff --git a/gnome-help/C/keyboard-shortcuts-set.page b/gnome-help/C/keyboard-shortcuts-set.page
index 934707d..e06585d 100644
--- a/gnome-help/C/keyboard-shortcuts-set.page
+++ b/gnome-help/C/keyboard-shortcuts-set.page
@@ -298,7 +298,7 @@
   </tr>
   <tr>
        <td><p>Lock screen</p></td>
-       <td><p><keyseq><key>Ctrl</key><key>Alt</key><key>L</key></keyseq></p></td>
+       <td><p><keyseq><key>Super</key><key>L</key></keyseq></p></td>
   </tr>
   <tr>
   <td><p>Show the message tray</p></td>
diff --git a/gnome-help/C/shell-keyboard-shortcuts.page b/gnome-help/C/shell-keyboard-shortcuts.page
index 1648fbc..0336749 100644
--- a/gnome-help/C/shell-keyboard-shortcuts.page
+++ b/gnome-help/C/shell-keyboard-shortcuts.page
@@ -98,8 +98,7 @@ information on navigating user interfaces with only the keyboard.</p>
     <td><p><link xref="shell-exit">Log out</link>.</p></td>
   </tr>
   <tr xml:id="ctrl-alt-l">
-    <!-- May be renamed to Super+L in the future. -->
-    <td><p><keyseq><key>Ctrl</key><key>Alt</key><key>L</key></keyseq></p></td>
+    <td><p><keyseq><key>Super</key><key>L</key></keyseq></p></td>
     <td><p><link xref="shell-exit#lock-screen">Lock the screen.</link></p></td>
   </tr>
   <tr xml:id="super-m">