Mere moments ago, quoth I: >How about a rule-level option >"case-insensitive=true" (which could also be >applied globally)? (Or maybe "caseless=true" or >something, just to make it shorter.) Or, to avoid the potential double-negative: "case-sensitive=false" or just "case=false".