editors that can be accessed from the shell, via ssh