Re: [slime-devel] Re: [Patch] Improve slime-edit-definition-other-window and ...-frame