Re: info faces for strings and quotations

[Richard Stallman]

    Apart from being a very useful feature, this also helps to find errors
    visually in Info manuals.

Thanks for noticing--will you fix them?

    But OTOH, there are some places where it fails on legitimate constructs.
    Most serious cases I found where this feature completely fails are

    1. (info "(eintr)else") with

      `"It's a tiger!"'; but when you evaluate `(type-of-animal 'zebra)',
      you will see `"It's not fierce!"'.

What Texinfo code generates that?  It looks like someone put @samp
around a Lisp string constant.  If so, that is incorrect usage; it
should be @code, not @samp.