What can I use in SSH that is equivalent to "edit" in DOS? I would like to modify some html files and config files.