ignorecase adjustable in find/replace/replaceall commands

There should be a find command in the command line (similarly to replace) and it should take an optional parameter to turn on/off case matching. In the lack of that optional parameter the ignorecase value should be considered.

The replace and replaceall commands should also have an option to toggle case sensitive operation, or fall back to ignorecase if not given.

(When editing source code one needs to search for symbols frequently, in this case it's easier if find is case-insensitive, but with current find this is utterly controled by ignorecase. In case of replace/replaceall the case sensitivity is quite important. Having ignorecase set to true it's simple to search for symbols, but when refactoring code with replaceall many symbols also get changed because it also ignores case sensitivity. I believe the two functions should have a separate case sensitivity control.)

Start by locating the command-line implementations for find, replace, and replaceall, then trace how they currently use the ignorecase setting. Define the optional case-matching behavior for each command and verify that omitted options retain the existing setting. Done means find exists and all three commands support explicit or fallback case sensitivity without unintended replacements.