don't know if someone has already asked about this

but could you filter the case sensitivity of the search result?
as for now, if I'm searching for, let's say, "halo", there'll be multiple search results as "HALO", "Halo", "halo". but when I click every one of them, they're actually pointing to the same results
I believe it's because there are 3 dictionaries having HALO entries with different capitalization

so it'd be nice if you can just filter the search result not to showing same words with different caps
thanks for the great works anyway