[slime-devel] Re: change slime-toggle-trace-fdefinition to slime-trace-fdefinition