Are all rules now definitely case-insensitive? This question was raised in the past, and we have found a message from a month or so back which seemed to fail because of the case.

The confusing message "Filter rules are not case-insensitive, meaning that the rules ignore capitalization." is still to be found in some docs, though it seems to have been corrected in the 7.0 online manuals (removal of the self-contradictory "in"!)