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

[Eli Zaretskii]

> From: Po Lu <luangruo@yahoo.com>
> Cc: Manuel Giraud via "Emacs development discussions."
>  <emacs-devel@gnu.org>,  Eli Zaretskii <eliz@gnu.org>,  Manuel Giraud
>  <manuel@ledu-giraud.fr>
> Date: Tue, 24 Oct 2023 18:59:35 +0800
> 
> Ulrich Mueller <ulm@gentoo.org> writes:
> 
> > IMHO the grave accent U+0060 looks horrible as a quotation mark,
> > especially with modern fonts.
> 
> On the same note, Unicode quotation marks are displayed by a font
> distinct from that used for ASCII text.

Not here, they aren't.  I suggest to use a different font for the
default face, if your current font doesn't handle these characters.