Re: [slime-devel] Fuzzy completion patch