[slime-devel] Re: [PATCH} Problem with Restart node in slime.texi