Making SmartyPants ignore this particular comment is pretty trivial. I just basically have to "get out of its way" with my plugin code. There are however, situations where there's html code contained within comments that SmartyPants will barf hard on regardless. Fixing that might not be trivial, but I'd rather work on a solution that ignores ALL html comments entirely rather than slapping something together that only fixes this specific comment.
|