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