[slime-devel] Re: How to erase input lines in REPL?