Use stridx() instead of pattern matching in filter()

This avoids the need to escape special characters in the search. It may
also speed up the filtering, though I didn't notice an appreciable
difference in my tests.