It's funny that you mention libreadline. CLISP was not originally going to be GPL'd and only optionally depended on readline, but Stallman himself declared that even that made CLISP a derivative work. I happen to agree with your interpretation, but the author of the GPL does not.