title: How to "find and replace" text?
body: <p>I see there is such command in the <code>Edit</code> menu tab, but is dim grey, both if I am inside a code tab and if I am outside it, as you can see in the attached screenshot.
  How can I perform such operation?
  <a href="https://i.stack.imgur.com/U9Lvs.png" rel="noreferrer"><img src="https://i.stack.imgur.com/U9Lvs.png" alt="Screenshot of the issue"></a></p>