Concordo 100% Ronald! Em breve vamos usar um outro editor, que inclusive é o editor oficial do GitHub, só estamos esperando eles lançarem uma versão mais estável 🤝