Eli Zaretskii <eliz@gnu.org> writes:

> This changeset:
>
>   4ea1f6c7f8 ; * doc/lispref/tips.texi (Documentation Tips): Fix typos.  (Bug#56802)
>
> changes how quote characters are typeset in the manual.  Was the
> effect of these changes verified in all the 3 important formats: Info,
> HTML, and PDF?  AFAIR, we switched to @t{..} because @samp{`} and the
> likes produces bad output at least in the PDF format.  It took us a
> lot of experimentation to get to the markup that worked, and I'd hate
> losing all that now.
>
> So if you didn't try producing the manual in PDF format, please try it
> now.  This is even more important for the release branch, since we are
> going to release it soon.

I have tested this in Info, HTML, and PDF, and AFAICT everything is as
it should be.  Please see the attached screenshot of the PDF output.