[slime-devel] Shrinking REPL buffer