Re: [slime-devel] Slime bug in fontification and reader conditionals