Re: [slime-devel] slime-choose-overlay-region