[slime-devel] Menu in REPL