Case-insensitive filtering

sooner or later I'll add an option for case-sensitive searching, but for
now this is a lot more useful