Comment on TexFinderX

Very useful! Unlike a lot of similar paid for apps this one can actually find and replace multiple lines of text within files.