find and replace

requested feature: find and replace. This would save me a whole lot of time when I am working on longer documents, like when I decide to change what I am calling something that is discussed in a number of places.