Explain what `ignore_case` option does (and why it exists perhaps?)