--- a/Tools__InternationalLanguageTranslationEditor.st	Thu Oct 31 19:23:36 2019 +0100
+++ b/Tools__InternationalLanguageTranslationEditor.st	Fri Nov 01 05:48:42 2019 +0100
@@ -2065,7 +2065,8 @@
 
 openDocumentation
     "This method was generated by the Browser.
-     It will be invoked when the menu-item 'help-documentation' is selected."
+     It will be invoked when the menu-item 'help-documentation' is selected.
+     Also called when <F1> is pressed"
 
     "/ change below as required ...