In this post @un_pogaz mentioned that he needed a case sensitive string compare. He solved it with a custom python template function.
This raises a question: is there a general need for this? It would be easy to add case sensitive compare operators, e.g., ==!, >!, <! etc. (the ! converts the operator to case sensitive), but if they aren't useful then why take the cognitive space for them.
Opinions?