Earlier quoted context omitted.
Well, as long as we're discussing search wish lists, I'd love case-sensitive search.
Just an FYI, my product solves yours and your parent post wish: http://gitsense.github.io/ Search/code management metrics are done at the branch level and there will be case-sensitive searches. The indexers are already building case sensitive indexes, it's just that it hasn't been enabled. Unfortunately I can't say when the indexer will be available for private use at the moment. Edit: Forgot to mention that because…
I'll return the FYI and let you know it wasn't immediately obvious that there were arrows I could click on to see what else it was your product can do.