Comment 1 for bug 1042751

This actually concerns the search functionality, the replace-thing is just a consequence.
While usually smart-case is good enough, in this case, especially for devs, a "Match Case" check-box could be better. Or even an option to decide whether have the smart-case feature or the check-box. The UX-team should decide.