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