Comment by eviks

That's what I sometimes resort to, though copy&paste the text back to the editor as search in a browser is much worse