Since the special attributes used by Petal are in their own namespace, it would be pretty easy to strip them out before submitting the template to a validator. But it's rather a bogus argument since the thing you want to validate is the output from a template processor, not the input. I recommended Petal because in my experience it plays nicely with GUI authoring tools.