He encontrado un servicio web que te permite editar archivos de texto en un entorno colaborativo y en tiempo real. Algo que me parece bastante atractivo si pretendes modificar algún archivo en de emergencia desde un equipo móvil.
Solo permite editar hasta tres archivos gratuitamente. Pese a eso es una alternativa atractiva si tienes que modificar un archivo desde un teléfono celular.
Guido Ríos