[slime-devel] fuzzy completion patch again