A simple plain text editor for very large files