bug#41100: 2 undefined references and missing character (Emacs manual, PDF)

[Eli Zaretskii]

> Cc: 41100@debbugs.gnu.org
> From: Sebastian Urban <mrsebastianurban@gmail.com>
> Date: Sat, 9 May 2020 12:04:09 +0200
> 
> As an alternative "Bah@'a'@U{00ED}" also seems to work.  It is
> shorter, but it is also less readable.

But Glenn says the original also works.  Also, I understand from you
that the log is the only indication of some problem, the actual PDF is
OK.  In which case I see no reason to make our manual harder to read
in its Texinfo form.

Glenn, can you please chime in and tell what you see on your systems,
and more generally what is your take on this issue?  TIA.