>> I'm *very* unhappy that `@var` in `@example` environments no longer
>> produce slanted typewriter but slanted roman – with ligatures!
>> Besides being extremely ugly, it completely ruins the fixed-width
>> spacing, which is of paramount importance. Please, PLEASE revert
>> this.
>
> To obtain that effect, now @t{@slanted{...}} should be used (or, to
> be sure that the context has no effect, @r{@t{@slanted{...}}}.
See my other e-mail why this I consider this a bad solution and what
could be done to improve that.
> The precise formatting of @var in @code and similar commands, other
> than being slanted was not (and is not) documented.
While this is true, I find it a horrendous idea to change the
well-thought, decades-old behaviour of `@var` for just being 'not
documented'. Guys, everybody using Texinfo relies on this
'undocumented' behaviour!
Werner
