[slime-devel] Reader-conditional fontification issue