[slime-devel] slime debugger string length cutoff, bad default and how to control it