(texinfo) dfn - the double quotes around ``deleting'' are inconsistentwith (eintr) Complications ``variables''

[Van L]

> Eli Zaretskii writes:
> 
> You are saying that the Texinfo manual uses ASCII quotes, and therefore
> the opening and closing quotes are identical?  

Yes.

>> Hello.
>> 
>> The beginning and ending double-quoting symbols are inconsistent for 
>> 
>>  1. (eintr) Complications ``variables''
>>  2. (texinfo) dfn ''deleting''
>> 
>> : 8cda6f8f (Glenn Morris             2007-09-06  1511) the symbol's
>> value as a @dfn{variable}.  This situation is described
>> 
>> Looking up address@hidden in ``(texinfo) dfn’’ the double-quoting
>> used in the line has
>> 
>> :      Getting rid of a file is called "deleting" it.
>> 
>> Expect the quoting symbol for open and close to be identical since
>> both are being presented in Info page format.
>> 
>> See:
>> 
>> http://emacs.scratch.space/public/info-dfn-deleting-ugly-double-quotes.png
>