Untitled Document

(1)

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