$ONTEXT and $OFFTEXT are now case-insensitive