Implement case insensitive search

Question

jamesaoverton opened this issue 3 years ago · 2 comments

I think the current search is case sensitive, but it would be good to be able to ignore case.

Answer 1 · 2021-08-19T14:59:45.000Z

Should it always be case insensitive, or should this be a flag where, if not included, it's case sensitive?

Answer 2 · 2021-08-19T15:14:23.000Z

I think case-insensitive should be the default. Most people will be surprised if search is case-sensitive.

I don't know whether we want to include case-sensitive as an option. Probably not.