[gnome-nibbles] help: No more menu bar; Controls header name changed

[Andre Klapper <aklapper src gnome org>]

commit 204361bd4f838e9bbde7101ea99e0c640ecafa88
Author: Andre Klapper <a9016009 gmx de>
Date:   Sun Jan 5 01:07:28 2020 +0100

    help: No more menu bar; Controls header name changed

 help/C/controls-change.page | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)
---
diff --git a/help/C/controls-change.page b/help/C/controls-change.page
index 58466ba..e5f3d05 100644
--- a/help/C/controls-change.page
+++ b/help/C/controls-change.page
@@ -9,6 +9,7 @@
     <link type="seealso" xref="controls-default"/>
 
     <revision pkgversion="3.8" version="0.1" date="2012-03-05" status="candidate"/>
+    <revision pkgversion="3.34" version="0.2" date="2020-01-05" status="candidate"/>
 
     <include href="legal.xml" xmlns="http://www.w3.org/2001/XInclude"/>
 
@@ -33,8 +34,8 @@
 
   <steps>
     <item>
-      <p>Select <guiseq><gui style="menu">Settings</gui>
-      <gui style="menuitem">Preferences</gui></guiseq>.</p>
+      <p>Press the menu button in the top-right corner of the window and select
+      <gui style="menuitem">Preferences</gui>.</p>
     </item>
     <item>
       <p>Select the tab for the player whose controls you want to change.</p>
@@ -44,7 +45,7 @@
       </note>
     </item>
     <item>
-      <p>In the <gui style="group">Keyboard Controls</gui> list, select the
+      <p>In the <gui style="group">Controls</gui> list, select the
       line, then click on the control. This highlights the line and the words
       <gui>New accelerator…</gui> are now present in place of the old
       control.</p>