new option "case sensitive = yes|no", FR #62.

So you're enabling this by default, which is good imo, but you're not mentioning this in the docs nor in the NEWS.