I'm using search/filter a bit and seems that by default it's all case-sensitive... is it a simple switch or does this require a PR?
I'm using search/filter a bit and seems that by default it's all case-sensitive... is it a simple switch or does this require a PR?