<div dir="ltr">PDFs *should* be generated with Unicode strings, so that copy-and-paste etc. need not try to map back from glyphs.<div>Of course, that's optional, and some tools don't bother.</div><div>markus</div></div>