Re: [slime-devel] slime-display-edit-hilights