Hello David,

This is just a small snippet of a big stylesheet and changing to use the
"xml" output instead of "html" has too many other side-effects.  For
example, I loose my numeric character reference escaping everywhere, not
just in this attribute.  Thanks for the idea.

Sincerely,
Matthew Simoneau