[slime-devel] Re: Editing old inputs