El editor de texto que ocupa el instructor, no lo descarge, tengo otro editor descarge el NOTEPAD++ para Win 10 a 64 bits, con Internet Edge / Chrome.
como saben en el curso hay una pag donde hace mencion que editor puede ser mas usado. link https://www.aluracursos.com/blog/aprenda-todo-sobre-el-ide-entorno-de-desarrollo-integrado
Lo importante se que aprender como ejecutar un programa como el instrutor. con los conocimientos basico que tenemos. Solo falto explicar que tipo de editor se mas amigable y para que sistema operativo.