diff --git a/include/session-properties.html b/include/session-properties.html
index 762c0ae6..4f75af0f 100644
--- a/include/session-properties.html
+++ b/include/session-properties.html
@@ -12,6 +12,14 @@
   session file.
 </p>
 
+<p>
+  Settings can be searched for using the input box in the lower left corner
+  of the Preferences window. Typing in a keyword and pressing <kbd>Enter</kbd>
+  will open the Preferences pages where the first occurence of the keyword is
+  available, the setting will be highlighted. Pressing <kbd>Enter</kbd> again
+  will highlight the next occurence (where available).
+</p>
+
 <p>
   Preferences are grouped by category:
 </p>