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