As the title says.
Thanks for submitting an idea to the Mozilla Connect community! Your idea is now open to votes (aka kudos) and comments.
@saf Default search mode should stay case-insensitive, but we can definitely think of making some extra button to turn on case-sensitive search mode. Thanks for the suggestion!
Yep, as Serg says; with that, I'll vote yes. (I won't be following this Idea, so I'm turning off e-mail notifications.)
never-displayed