Update GNATcheck RM sources to stick to the generated doc

lkql_checker/share/lkql/silent_exception_handlers.lkql

@@ -36,8 +36,8 @@ fun silent_exception_handlers(node, subprograms=[], subprogram_regexps=[]) =
     |"
     |" Note that if you specify the rule with parameters in a command shell, you may
     |" need to escape its parameters. The best and the safest way of using this rule
-    |" is to place it into a rule file and to use this rule file as a parameter of the
-    |" ``-from=`` option, no escaping is needed in this case.
+    |" is to place it into an LKQL rule file and to use this rule file with the
+    |" ``--rule-file`` switch, no escaping is needed in this case.
     |"
     |" .. rubric:: Example
     |"

lkql_jit/cli/src/main/java/com/adacore/lkql_jit/LKQLDocRules.java

@@ -335,8 +335,9 @@ public Integer call() throws Exception {
 
                 The description of the rules currently implemented in ``gnatcheck`` is
                 given in this chapter.
-                The rule identifier is used as a parameter of ``gnatcheck``'s ``+R`` or ``-R``
-                switches.
+                The rule identifier is used as a key for LKQL rule configuration objects (see
+                :ref:`LKQL rule file<LKQL_options_file>`), and as first parameter of
+                ``gnatcheck``'s ``+R`` or ``-R`` switches.
 
                 Be aware that most of these rules apply to specialized coding
                 requirements developed by individual users and may well not make sense in