bug#16292: 24.3.50; info docs now contain single straight quotes instead of `'

[Stefan Monnier]

> I won't recommend that: the effect is only visible with Texinfo 5,
> which is still new.  Complaints might come too late for us to be able
> to fix them (after the release).

I think we should take the risk.  It will also give us a good idea of
whether avoiding Unicode quotes is worth the trouble
of --disable-encoding (or of a sed script to convert them back to
ASCII).


        Stefan