I'd like a "find and replace" function in the post editor. As it stands, I copy it into Notepad, apply Find & Replace, and copy it back. That's a little inconvenient. Just a simple one would do, for those answers whose solutions are to, say, double backslashes, and there are a lot of them.
why don't you use the built-in find function of the chrome and other browsers. It gets you where you want. But it doesn't provide the replace functionality. You might checkout the webstore for extensions if there is any such extension for find and replace