[slime-devel] Re: Double newlines sent to clisp on user input