A big +1 from my side. In the meantime:
For a hacky workaround see here.
@wmbenedetto: I know it’s a bit late, but there is a plugin called “Regex Find/Replace” that uses case sensitive search by default.
2 Likes