[gedit-plugins] help: Bottom Pane is called Bottom Panel; shortcut is used for side pane

[Andre Klapper <aklapper src gnome org>]

commit 726e07447752e9f6fc076a96feb79ea5a52c4429
Author: Andre Klapper <a9016009 gmx de>
Date:   Sun Feb 9 16:36:55 2020 +0100

    help: Bottom Pane is called Bottom Panel; shortcut is used for side pane

 help/C/terminal.page | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)
---
diff --git a/help/C/terminal.page b/help/C/terminal.page
index 778fd14..09db902 100644
--- a/help/C/terminal.page
+++ b/help/C/terminal.page
@@ -19,14 +19,14 @@
 
     <include href="legal-plugins.xml" xmlns="http://www.w3.org/2001/XInclude"/>
 
-    <desc>Add a terminal console to the bottom pane.</desc>
+    <desc>Add a terminal console to the bottom panel.</desc>
   </info>
 
   <title>Embedded Terminal</title>
 
   <p><app>gedit</app> makes it possible to include an embedded version of
   <app>GNOME Terminal</app>, the GNOME command-line application, in the bottom
-  pane of the <app>gedit</app> window. This will let you run scripts, install
+  panel of the <app>gedit</app> window. This will let you run scripts, install
   needed software, or test your program without leaving <app>gedit</app>.</p>
 
 <section id="enable-embedded-terminal">
@@ -51,13 +51,12 @@
   <title>Using Embedded Terminal</title>
 
   <p>Once you have enabled the plugin, to add a terminal to the bottom
-  pane:</p>
+  panel:</p>
 
   <steps>
     <item>
       <p>Select <guiseq><gui style="menu">View</gui>
-      <gui style="menuitem">Bottom Pane</gui></guiseq>. Alternatively, you
-      can press <keyseq><key>Ctrl</key><key>F9</key></keyseq>.</p>
+      <gui style="menuitem">Bottom Panel</gui></guiseq>.</p>
     </item>
   </steps>