--- a/Tools__NavigationState.st	Fri Sep 13 09:26:34 2019 +0200
+++ b/Tools__NavigationState.st	Fri Sep 13 09:27:02 2019 +0200
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
  COPYRIGHT (c) 2000 by eXept Software AG
               All Rights Reserved
@@ -1090,6 +1092,7 @@
 
 selectedLintRules
     "a value holder on the currently selected lint rules"
+    "bad obfuscated design; this is called from the LintService to ask for a lintRule set"
 
     selectedLintRules isNil ifTrue:[
         selectedLintRules := ValueHolder with:nil.