Re: 3 dots vanish at end of filled line

[Karl Berry]

    juri> There are other Texinfo commands that produce a line of
    underlining charcaters within the body of the node: address@hidden',
    address@hidden', address@hidden'.

They aren't "within the body" of a node, they're at the top.  Luc was
proposing that those still be recognized.

As far as recognizing @headings goes, I don't feel strongly either way.
The matching-line-length heuristic seems about as good as it will get.