[gnome-user-docs] Files: 'Sidebar' setting moved from top bar to application menu

[Andre Klapper <aklapper src gnome org>]

commit e6febdecc447219a0872ff1764912dffe99b4951
Author: Andre Klapper <a9016009 gmx de>
Date:   Tue Mar 12 21:24:15 2019 +0100

    Files: 'Sidebar' setting moved from top bar to application menu

 gnome-help/C/files-browse.page  | 2 +-
 gnome-help/C/files-recover.page | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)
---
diff --git a/gnome-help/C/files-browse.page b/gnome-help/C/files-browse.page
index e43cf89f..5147e3f5 100644
--- a/gnome-help/C/files-browse.page
+++ b/gnome-help/C/files-browse.page
@@ -84,7 +84,7 @@ bar</em> will appear at the top of the window and only files which match your
 search will be shown. Press <key>Esc</key> to cancel the search.</p>
 
 <p>You can quickly access common places from the <em>sidebar</em>. If you do
-not see the sidebar, click <gui>Files</gui> in the top bar and then select
+not see the sidebar, press the menu button in the top-right corner of the window and then select
 <gui>Sidebar</gui>. You can add bookmarks to folders that you use often and
 they will appear in the sidebar. Drag a folder to the sidebar, and drop it over
 <gui>New bookmark</gui>, which appears dynamically, or click the window menu 
diff --git a/gnome-help/C/files-recover.page b/gnome-help/C/files-recover.page
index 9eba899c..36632d2c 100644
--- a/gnome-help/C/files-recover.page
+++ b/gnome-help/C/files-recover.page
@@ -41,7 +41,8 @@
     </item>
     <item>
       <p>Click <gui>Trash</gui> in the sidebar. If you do not see the sidebar,
-      click <gui>Files</gui> in the top bar and pick <gui>Sidebar</gui>.</p>
+      press the menu button in the top-right corner of the window and select
+      <gui>Sidebar</gui>.</p>
     </item>
     <item>
       <p>If your deleted file is there, click on it and select