> Why do you confine U+2018 and U+2019 to Emacs manuals?  AFAIK, they
> will appear in any manual that has its @documentencoding set to UTF-8.
> So I think you can see that in any manual any time.

Yes, that sounds right.  I installed Kevin's patch with that change; the 
resulting patch is attached.  (This patch uses the characters themselves rather 
than \uXXXX escapes, for readability.)  Thanks for reporting the problem, Kevin. 
  Marking this as done.