[slime-devel] Re: small patch for more mouse-face highlighting in Backtrace