Mingle#341: search is now case insensitive