FEATURE: Make search filters case insensitive (PR #10715)

GitHub

The title of this pull request changed from “Feature insensitive filters” to "FEATURE: Make search filters case insensitive

I think we might need some client-side changes as well, so that the advanced search UI will be updated when you use uppercase filters:

Screenshot 2020-09-22 at 10 30 32