@@ -837,7 +837,7 @@ To save a file, either click on the "Save" button or choose "File, Save." If you
 	<section id="keybindings">
 	<title>Key Bindings</title>
 
-	<para>The Key Bindings menu allows you to specify the keyboard shortcuts you use for everything from compiling a document to cutting text to resetting the Interactions Pane.  The only restriction is that the shortcut you choose must be one basic entry--for example, you cannot use Ctrl-X, Ctrl-S to save a file, but you could use Ctrl-Alt-S.  Adding support for a wider range of keyboard shortcuts is a feature request currently under review.</para>
+	<para>The Key Bindings menu allows you to specify the keyboard shortcuts you use for everything from compiling a document to cutting text to resetting the Interactions Pane.  The only restriction is that the shortcut you choose must be one basic entry--for example, you cannot use Ctrl-X, Ctrl-S to save a file, but you could use Ctrl-Alt-S.  However, actions accept multiple key bindings so that a user may bind both Ctrl-X and Ctrl-S to the save file action and use either keystroke combination to save their file.  Adding support for a wider range of keyboard shortcuts is a feature request currently under review.</para>
 
 		<mediaobject>
        		<imageobject>
 
@@ -1407,7 +1407,8 @@ public class Student {
       <!-- Key Bindings -->
       <formalpara>
  <title>Key Bindings</title>
- <para>Most menu items in DrJava have configurable keyboard shortcuts, along with several other navigational commands (such as moving to the beginning or end of a line).  All such options are displayed on the Key Bindings panel in the Preferences window, along with their current value.  Clicking on the value displays a window which allows the user to type a new key, showing any conflict with an existing key if there is one.  (We recommend editing these options in the Preferences window.)</para>
+ <para>Most menu items in DrJava have configurable keyboard shortcuts, along with several other navigational commands (such as moving to the beginning or end of a line).  All such options are displayed on the Key Bindings panel in the Preferences window, along with their current value.  Clicking on the value displays a window which allows the user to type a new key, showing any conflict with an existing key if there is one.  Users may bind multiple keys to a single action as long as there are no conflicts and may add or remove key bindings as desired.  (We recommend editing these options in the Preferences window.)</para>
+
       </formalpara>
 
      <!-- Compiler Options -->