Re: [slime-devel] Patch to fix occasional "jerky" slime-eval-last-expression