Untitled Document
(1)
In some editors, search-and-replace operations are the only convenient way to make a single change in the text.