Re: [slime-devel] minor slime ui improvement: SLIME-OTHER-FRAME