Re: [slime-devel] editing files on local swank and remote swank