Re: [slime-devel] slime-selector ?r and slime-repl ordering