Re: Non-ASCII characters in Info files produced by Texinfo 7.1

[Eli Zaretskii]

> From: Ulrich Mueller <ulm@gentoo.org>
> Cc: Eli Zaretskii <eliz@gnu.org>,  Manuel Giraud <manuel@ledu-giraud.fr>
> Date: Tue, 24 Oct 2023 10:21:11 +0200
> 
> >>>>> On Tue, 24 Oct 2023, Manuel Giraud wrote:
> 
> > For ` and ', I think we should take the new behaviour.  It is less
> > unsettling than the en-dash and while a "C-s Don't" works out of the box
> > in Info-mode it does not work with "M-x occur" for instance.
> 
> IMHO the grave accent U+0060 looks horrible as a quotation mark,
> especially with modern fonts.

Where do you see it used as quotation in the output of Texinfo 7.1?
Can you show an example?