Does anyone know what text editor that is? Emacs?