configuration.xml confused about Indexer, Case Sensitivity

[hennyu]

Hello,
a colleague and me looked at the "Application Server Configuration" documentation today and wondered if the part about the indexer and case sensitivity is correct. This concerns line 1215 up to line 1230 of the configuration.xml where it says: "specifies whether string comparisons are to be case-sensitive" ... "Setting case-sensitive='yes' violates the XQuery specs" -- shouldn't this be: "Setting case-senstive='no' violates the XQuery specs"? (as the XPath functions mentioned are case-sensitive by default and the default value for this in the conf.xml was already 'yes').
Best,
Ulrike