I updated the issue, basically asking SLIME developers: can we do this please?

On May 22, 2014, at 2:02 PM, Ben Hyde bhyde@pobox.com wrote:

I provided a possible fix to sllme-devel a while ago. But now there is an issue tracker! So I've opened an issue.

https://github.com/slime/slime/issues/161

If Gary want's add color commentary there, more power too him.