Re: [slime-devel] Reader-conditional fontification issue