> But anyway, the normal way to use Texinfo is like TeX: you use ASCII
> quotes, and it does the right thing (see the PDF output, and the Info
> output if you’re using makeinfo 5.x.)

I know, I was talking about the output of 'makeinfo --html'.  I'm using
4.13.

> There seems to be some paragraph filling at least here.

Yes, I did that to keep the length under 79 characters and to avoid the
lines which consist of a couple of words.

> Could you rearrange the patch to avoid paragraph filling, so that only
> the parts that were really changed show up?

Is it OK?