[slime-devel] Possible menu patch for slime-repl