Good catch. Even though it is technically a feature request, it sure is a paper cut that needs to be fixed. Searches are case insensitive so they should be accent / umlaut insensitive as well.
Good catch. Even though it is technically a feature request, it sure is a paper cut that needs to be fixed. Searches are case insensitive so they should be accent / umlaut insensitive as well.