Android: please enable case insensitive search

either do a case insensitive as default or let the user decide (in the setztngs or on each search)