Case-insensitive find and filter

Find and filter currently match case exactly. Add an option to ignore case, so searching for "london" also finds "London" and "LONDON".