--- a/DataSetBuilder.st	Fri Nov 01 05:50:13 2019 +0100
+++ b/DataSetBuilder.st	Fri Nov 01 05:52:58 2019 +0100
@@ -3935,6 +3935,9 @@
 !
 
 openDocumentation
+    "open an HTML browser on the launcher section in the 'tools/TOP' document.
+     Called when <F1> is pressed"
+
    self openHTMLDocument:'tools/uipainter/DataSetBuilder.html'.
 ! !