[gnome-terminal] help: There are no 'Options under menu X' anymore in the UI

[Andre Klapper <aklapper src gnome org>]

commit 8fd599c9bef0c449b721cad20772054afdd869cf
Author: Andre Klapper <a9016009 gmx de>
Date:   Sat Jan 4 17:49:17 2020 +0100

    help: There are no 'Options under menu X' anymore in the UI

 help/C/adv-keyboard-shortcuts.page | 14 +++++---------
 1 file changed, 5 insertions(+), 9 deletions(-)
---
diff --git a/help/C/adv-keyboard-shortcuts.page b/help/C/adv-keyboard-shortcuts.page
index 0258b7f2..5243be47 100644
--- a/help/C/adv-keyboard-shortcuts.page
+++ b/help/C/adv-keyboard-shortcuts.page
@@ -82,8 +82,7 @@
   <section id="file-shortcuts">
     <title><gui style="menu">File</gui> shortcuts</title>
 
-    <p>The default shortcuts for options under <gui style="menu">File</gui>
-    menu are:</p>
+    <p>The default shortcuts for options in this section are:</p>
 
     <table rules="rows" frame="top bottom" ui:expanded="true">
       <thead>
@@ -116,8 +115,7 @@
   <section id="edit-shortcuts">
     <title><gui style="menu">Edit</gui> shortcuts</title>
 
-    <p>The default shortcuts for options under <gui style="menu">Edit</gui>
-    menu are:</p>
+    <p>The default shortcuts for options in this section are:</p>
 
     <table rules="rows" frame="top bottom" ui:expanded="false">
       <thead>
@@ -142,8 +140,7 @@
   <section id="view-shortcuts">
     <title><gui style="menu">View</gui> shortcuts</title>
 
-    <p>The default shortcuts for options in the <gui style="menu">View</gui>
-    menu are:</p>
+    <p>The default shortcuts for options in this section are:</p>
 
     <table rules="rows" frame="top bottom" ui:expanded="false">
       <thead>
@@ -176,8 +173,7 @@
   <section id="find-shortcuts">
     <title><gui style="menu">Search</gui> shortcuts</title>
 
-    <p>The default shortcuts for options under <gui style="menu">Find</gui>
-    menu are:</p>
+    <p>The default shortcuts for options in this section are:</p>
 
     <table rules="rows" frame="top bottom" ui:expanded="false">
       <thead>
@@ -210,7 +206,7 @@
   <section id="tab-shortcuts">
     <title>Tab shortcuts</title>
 
-    <p>The default shortcuts for working with tabs are:</p>
+    <p>The default shortcuts for options in this section are:</p>
 
     <table rules="rows" frame="top bottom" ui:expanded="false">
       <thead>