i use QED, btwit’s the predecessor to ed: * en.wikipedia.org/wiki/QED_(text_editor) * gunkies.org/wiki/QED_(text_editor) * www.nokia.com/bell-labs/about/…/qed.html * github.com/arnoldrobbins/qed-archive * github.com/phonologus/qed-new is a version with utf8 support which can be built on a modern system