added a *case-insensitive?* (normally false) dynamic variable to toggle ...

...case insensitivity.