ah, yeah. I've used that a few times, when I'm doing an upgrade/install, download the file, edit in the editor and then reupload. Not much beyond that, so wasn't even aware that there was more to it than that.