To summarize my thoughts on the various semi-random things that have been said so far:
- Yes, a case-sensitive search switch would be nice.
- No, the existence of regex search doesn't change that.
- $replace() is not an alternative to many uses of $replacex(). Intermediate substitution is often simply not practical.
Just maybe this thread can kinda stay on topic from here onwards.