Txt: A fast, keyboard-driven terminal text editor for engineers