Filter: anymatch now uses filter_ignoreCase option properly. Fixes #748