Re: wrong font shape for `@var` in `@example`

[Werner LEMBERG]

> I've added this as '@set txicodevaristt'.  I've tested it with
> texi2pdf -t '@set txicodevaristt'.

Thanks, this works.  Please document it in `texinfo.texi` :-)


    Werner


PS: I still vote for making `txicodevaristt` the default at least for
    the next version.