Re: 3 dots vanish at end of filled line

[Stefan Monnier]

> How about recognizing them based on the number of characters in each
> line?  For a title or heading, you have a certain number of characters
> of text, and the following line has the same number of characters, all
> the same, and they are one of the fixed set used for "underlining".

And to avoid the "box bottom" problem, we could additionally check that the
text is preceded by an empty line.


        Stefan