I'm not suggesting immediate development for a PDF backend
> (although if it came automatically with kiva, I would use
> it), I think eps +ghostscript is good enough for now.
As you may know, we have a prototype of a PDF backend, though it is
missing many features.
JDH