Merge pull request #148 from metamath/version22

Tweak for version 22

docs/index.md

@@ -80,7 +80,7 @@ We hope you'll find it useful.
 Metamath-lamp improves over time, so some of this guide
 may not exactly match what you see. If you see a difference, please
 let us know so we can fix this guide.
-This guide was written for release version 18.
+This guide was written for release version 22.
 You can also see the guide for other versions:
 [version 10](10/index.html),
 [version 11](11/index.html),
@@ -3559,6 +3559,9 @@ You may also click on the *field name* to edit the field.
 This is a description of the proof.
 This description is included as a comment in the generated proof.
 
+Use Enter to save the modified description, Shift+Enter to
+start a new line, or Esc to cancel.
+
 If you are following the conventions of `set.mm`, the first sentence
 of the description should be an English sentence explaining what
 is being proved.