[seahorse] help: No more 'Remote' menu

[Andre Klapper <aklapper src gnome org>]

commit ea03c4ac731a68fad30a2490c54ee7b5155d24ac
Author: Andre Klapper <a9016009 gmx de>
Date:   Thu Jan 16 22:38:34 2020 +0100

    help: No more 'Remote' menu

 help/C/pgp-publish.page         | 4 ++--
 help/C/pgp-retrieve-remote.page | 4 ++--
 help/C/pgp-sync.page            | 4 ++--
 3 files changed, 6 insertions(+), 6 deletions(-)
---
diff --git a/help/C/pgp-publish.page b/help/C/pgp-publish.page
index 07139e25..2d684afd 100644
--- a/help/C/pgp-publish.page
+++ b/help/C/pgp-publish.page
@@ -40,8 +40,8 @@
       publish.</p>
     </item>
     <item>
-      <p>Select <guiseq><gui style="menu">Remote</gui>
-      <gui style="menuitem">Sync and Publish Keys…</gui></guiseq>.</p>
+      <p>Press the menu button in the top-right corner of the window and select
+      <gui style="menuitem">Sync and Publish Keys…</gui>.</p>
     </item>
     <item>
       <p>Press the <gui style="button">Key Servers</gui> button to see the list
diff --git a/help/C/pgp-retrieve-remote.page b/help/C/pgp-retrieve-remote.page
index df3a2d58..039a839e 100644
--- a/help/C/pgp-retrieve-remote.page
+++ b/help/C/pgp-retrieve-remote.page
@@ -30,8 +30,8 @@
   <steps>
     <title>To retrieve a remote key:</title>
     <item>
-      <p>Select <guiseq><gui style="menu">Remote</gui>
-      <gui style="menuitem">Find Remote Keys…</gui></guiseq>.</p>
+      <p>Press the menu button in the top-right corner of the window and select
+      <gui style="menuitem">Find Remote Keys…</gui>.</p>
     </item>
     <item>
       <p>Enter information about the key you wish to retrieve in the field
diff --git a/help/C/pgp-sync.page b/help/C/pgp-sync.page
index e692a318..f49e68d6 100644
--- a/help/C/pgp-sync.page
+++ b/help/C/pgp-sync.page
@@ -37,8 +37,8 @@
       <p>Select the PGP key you wish to synchronize.</p>
     </item>
     <item>
-      <p>Select <guiseq><gui style="menu">Remote</gui>
-      <gui style="menuitem">Sync and Publish Keys…</gui></guiseq>.</p>
+      <p>Press the menu button in the top-right corner of the window and select
+      <gui style="menuitem">Sync and Publish Keys…</gui>.</p>
     </item>
     <item>
       <p>Click the <gui style="button">Sync</gui> button to synchronize your