Re: info

[Richard Stallman]

    Not an actual example, but an example I gave before with some newlines
    removed.  Everything depends on the likelihood of such examples
    occurring on practice.  Especially the missing newline before the
    "Footnotes" line (the only problem) looks ugly to me.

I agree, and I would say that is bad Texinfo style.
It is possible that the Texinfo manual says so.
It is also possible that Makeinfo will put blank lines
there, but I am not sure.

We should fix any such manuals.