The Pipe text editor.