[gnome-user-docs] g-h/files-recover: Ctrl+Delete; minor edits

[Shaun McCance <shaunm src gnome org>]

commit 7a070285f9c48799c78bc9f28dcc2497c9264a6a
Author: Shaun McCance <shaunm gnome org>
Date:   Mon Apr 4 12:14:23 2011 -0400

    g-h/files-recover: Ctrl+Delete; minor edits

 gnome-help/C/files-recover.page |    9 +++++----
 1 files changed, 5 insertions(+), 4 deletions(-)
---
diff --git a/gnome-help/C/files-recover.page b/gnome-help/C/files-recover.page
index 05b66c0..a8bf9f4 100644
--- a/gnome-help/C/files-recover.page
+++ b/gnome-help/C/files-recover.page
@@ -17,21 +17,22 @@
 
   <title>Recover a file that you deleted</title>
     <p>
-      If you deleted a file in the <gui>File Manager</gui> by pressing the <key>Delete</key> key or clicking the <gui>Move to Trash</gui> option in the right-click menu, the file should be in the Trash. To access the Trash:
+      If you deleted a file in the <gui>File Manager</gui> by pressing <keyseq><key>Ctrl</key><key>Delete</key></keyseq> or clicking the <gui>Move to Trash</gui> option in the right-click menu, the file should be in the Trash. To access the Trash:
     </p>
     <steps>
       <item>
-       <p>Go to the <gui>Activities</gui> overview and open the File Manager.</p>
+	<p>Open the <app>Files</app> application from the
+	<gui>Activities</gui> overview.</p>
       </item>
       <item><p>
-        In the <gui>Places</gui> menu in the side pane, click on <gui>Trash</gui>.
+        In the <gui>Places</gui> menu in the sidebar, click <gui>Trash</gui>.
       </p></item>
       <item><p>
         If your deleted file is there, right-click on it and select <gui>Restore</gui>.  It will be restored to the folder it was deleted from.
       </p></item>
     </steps>
 
-<p>If you deleted the file using <keyseq><key>Shift</key><key>delete</key></keyseq>, or from the commandline, the file can't be recovered using this method because it has been permanently deleted.</p>
+<p>If you deleted the file using <keyseq><key>Shift</key><key>delete</key></keyseq>, or from the command line, the file can't be recovered using this method because it has been permanently deleted.</p>
 
 <p>There are a number of recovery tools available that are sometimes able to recover files that were permanently deleted. They are generally not very easy to use, however. If you accidentally permanently deleted a file, it's probably best to ask for advice on a support forum to see if you can recover it.</p>