c39d8e5813
The default case sensitivity is hard coded for each command. These operators allow to override the this default case sensitivity.