Changes for quoting in tips.texi

[Eli Zaretskii]

Stefan,

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.

Thanks.