Programmer Text Editor.
