Richard Stallman wrote:
> Are you saying that curly quotes are current present only in those
> .texi files?

I do not know which .texi files you are referring to, but no, I am not saying 
that.  Curved single quotes are present in .texi files, in .el files, .c files, 
an .h file, ChangeLog files, etc/NEWS, etc/PROBLEMS, a tutorial file, and an 
HTML file.  You can list source files containing curved quotes by running the 
following shell command:

grep -l '[‘’]' $(git ls-files | sort)