In which we talk about text editors.