Hmmm - I replaced the HTML filter on the output side with one that is less agressive - now I guess I need to take care of the input side.

(or dequote, then run through the new filter, but that would be slow; even if I cache the <pike> tags.)