diff -r 4f210d7fe0cb -r d4f7c137ffc4 UIHelpTool.st
--- a/UIHelpTool.st	Fri Nov 01 05:49:50 2019 +0100
+++ b/UIHelpTool.st	Fri Nov 01 05:50:02 2019 +0100
@@ -1247,8 +1247,9 @@
 !
 
 openDocumentation
-    "opens the documentation file of the Help Tool
-    "
+    "opens the documentation file of the Help Tool"
+    "Called when <F1> is pressed"
+
     self openHTMLDocument: 'tools/uipainter/HelpTool.html'
 !