diff --git a/doc/manual.html b/doc/manual.html
index 19b05cf9e5f8feeadb5cd038fba36967db03617f..4895789b937545cc336d87490dda3729a8d6fb5a 100644
--- a/doc/manual.html
+++ b/doc/manual.html
@@ -2603,9 +2603,12 @@ editor.setOption("extraKeys", {
         of the global one passed with the full list of completions.</dd>
       </dl></dd>
 
-      <dd>The plugin understands the following options (the options object
-      will also be passed along to the hinting function, which may
-      understand additional options):
+      <dd>The plugin understands the following options, which may be
+      either passed directly in the argument to <code>showHint</code>,
+      or provided by setting an <code>hintOptions</code> editor
+      option to an object (the former takes precedence). The options
+      object will also be passed along to the hinting function, which
+      may understand additional options.
       <dl>
         <dt><code><strong>hint</strong>: function</code></dt>
         <dd>A hinting function, as specified above. It is possible to