bug#31614: (texinfo) dfn - the double quotes around ``deleting'' are inconsistent with (eintr) Complications ``variables''

[Van L]

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 ``@dfn{variable}’’ 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