diode — a terminal text editor