[gnome-terminal] help: No more 'Edit' menu for encoding settings

[Andre Klapper <aklapper src gnome org>]

commit 82103ec70f3e1441975f6091e911d5c1ee55c6d5
Author: Andre Klapper <a9016009 gmx de>
Date:   Sat Jan 4 17:41:03 2020 +0100

    help: No more 'Edit' menu for encoding settings

 help/C/pref-profile-encoding.page | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)
---
diff --git a/help/C/pref-profile-encoding.page b/help/C/pref-profile-encoding.page
index 66e513a2..b4dd28a0 100644
--- a/help/C/pref-profile-encoding.page
+++ b/help/C/pref-profile-encoding.page
@@ -6,6 +6,7 @@
     <link type="guide" xref="index#advanced"/>
     <link type="guide" xref="pref#profile"/>
     <revision pkgversion="3.14" date="2014-09-08" status="review"/>
+    <revision version="0.2" pkgversion="3.34" date="2020-01-04" status="review"/>
 
     <credit type="author copyright">
       <name>Ekaterina Gerasimova</name>
@@ -34,16 +35,18 @@
 
   <steps>
     <item>
-      <p>Open <guiseq><gui style="menu">Edit</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>Your current profile is selected in the sidebar. If you wish to edit
-      a different profile, click on its name.</p>
+      <p>In the sidebar, select your current profile in the <gui>Profiles</gui>
+      section.</p>
     </item>
     <item>
-      <p>Open the <gui style="tab">Compatibility</gui> tab and set the
-      character encoding.</p>
+      <p>Open the <gui style="tab">Compatibility</gui> tab.</p>
+    </item>
+    <item>
+      <p>Set the character encoding.</p>
     </item>
   </steps>