bug#20385: [PROPOSED PATCH] Support quoting 'like this' in doc strings

[Eli Zaretskii]

> Date: Tue, 21 Apr 2015 23:01:55 +0300
> From: Dmitry Gutov <dgutov@yandex.ru>
> CC: 20385@debbugs.gnu.org, eggert@cs.ucla.edu
> 
> On 04/21/2015 10:50 PM, Eli Zaretskii wrote:
> 
>  > Moreover, AFAIU people who want to see ‘this’ actually _want_ to see
> > the u+2018 etc. characters in the file/buffer.
> 
> That's no problem: fontify the source files like that, too.

No, they want the characters to be in the file.