Since the Dropbox app doesn't have search once I open a simple text file, I need to find a text editor that can connect to my Dropbox account, and has a simple search feature. I don't even care if it can edit. The file I have is 6,000 lines and 33KB so it's not small but not huge either. Recommendations on a simple iOS app that can do searching inside the text file?