[gedit] help: No more 'gedit' or 'Edit' menu

[Andre Klapper <aklapper src gnome org>]

commit 97e75eed1599049245b864883f43a0a69bdff23b
Author: Andre Klapper <a9016009 gmx de>
Date:   Mon Feb 10 22:38:23 2020 +0100

    help: No more 'gedit' or 'Edit' menu

 help/C/gedit-plugins-insert-date-time.page | 30 ++++++++++++++++++++++--------
 help/C/gedit-plugins-install.page          |  7 ++++---
 2 files changed, 26 insertions(+), 11 deletions(-)
---
diff --git a/help/C/gedit-plugins-insert-date-time.page b/help/C/gedit-plugins-insert-date-time.page
index 9cc9afe6e..de224ecfd 100644
--- a/help/C/gedit-plugins-insert-date-time.page
+++ b/help/C/gedit-plugins-insert-date-time.page
@@ -5,6 +5,7 @@
 <info>
   <link type="guide" xref="gedit-plugin-guide#gedit-default-plugins"/>
   <revision pkgversion="3.8" date="2013-02-24" status="review"/>
+  <revision pkgversion="3.34" date="2020-02-10" status="review"/>
   <credit type="author">
     <name>Daniel Neel</name>
     <email>dneelyep gmail com</email>
@@ -21,16 +22,29 @@
 
   <p>As this name of this plugin suggests, the <gui>Insert Date/Time</gui>
   plugin allows you to insert the date and/or time at the current cursor
-  position. To enable this plugin, select <guiseq><gui style="menu">gedit</gui>
-  <gui style="menuitem">Preferences</gui><gui>Plugins</gui>
-  <gui>Insert Date/Time</gui></guiseq>. To use the plugin, press <guiseq>
-  <gui style="menu">Edit</gui><gui>Insert Date and Time</gui></guiseq>.</p>
+  position.</p>
+
+  <steps>
+    <title>To enable the plugin:</title>
+    <item>
+      <p>Press the menu button in the top-right corner of the window and select
+      <guiseq><gui style="menuitem">Preferences</gui>
+      <gui style="tab">Plugins</gui></guiseq>.</p>
+    </item>
+    <item>
+      <p>Select <gui style="menuitem">Insert Date/Time</gui> to enable the plugin.</p>
+    </item>
+  </steps>
+
+  <p>To use the plugin, press the menu button in the top-right corner of the
+  window and select <guiseq><gui style="menuitem">Tools</gui>
+  <gui style="menuitem">Insert Date and Time…</gui></guiseq>.</p>
 
   <p>By default, the <gui>Insert Date/Time</gui> plugin will prompt you to
   choose your preferred date/time format each time that you use the plugin.
-  However, you can choose your own default date and time format by selecting
-  <guiseq><gui style="menu">gedit</gui><gui style="menuitem">Preferences</gui>
-  <gui>Plugins</gui><gui>Insert Date/Time</gui><gui>Configure</gui></guiseq>.
-  </p>
+  However, you can choose your own default date and time format by pressing the
+  menu button in the top-right corner of the window and selecting <guiseq>
+  <gui style="menuitem">Preferences</gui><gui style="tab">Plugins</gui><gui>
+  Insert Date/Time</gui><gui style="button">Configure</gui></guiseq>.</p>
 
 </page>
diff --git a/help/C/gedit-plugins-install.page b/help/C/gedit-plugins-install.page
index fc541ea89..81f916071 100644
--- a/help/C/gedit-plugins-install.page
+++ b/help/C/gedit-plugins-install.page
@@ -39,9 +39,10 @@
     <p>Of course, replace the word <var>username</var> with your own username.
     </p></item>
     <item><p>After you have placed the plugin files into the correct directory, 
-    the plugin will appear in the Preferences menu. Select <guiseq><gui>Edit
-    </gui><gui style="menuitem">Preferences</gui><gui>Plugins</gui>
-    <gui>[Name of Plugin]</gui></guiseq> to enable the plugin.</p></item>
+    the plugin will appear in the Preferences menu. Press the menu button in the
+    top-right corner of the window and select <guiseq><gui style="menuitem">
+    Preferences</gui><gui style="tab">Plugins</gui><gui>[Name of Plugin]</gui>
+    </guiseq> to enable the plugin.</p></item>
     <item><p>Click <gui>Close</gui>.</p></item>
   </steps>