From: Han-Wen Nienhuys [mailto:address@hidden
I think the proper thing is to add a note to the PDF docs that people
should not expect cutting & pasting from the PDF to work. PDF is made
for getting accurate printout, not for transporting ascii text.
While I agree with that in general, I think that examples marked as such
only should use the actual characters that they are coded with. For
example, a book on C programming should not use curly quotes around
strings in code examples. And, yes, I know there are books that do so.