Re: [slime-devel] bug report: slime gets in the way even outside slime mode