John E. Davis' text editor JED, see http://www.jedsoft.org/jed/