Paul Eggert wrote:
> Your suggestion to use a followup
> comment with fancy highlighting characters is less useful to my eyes;
> I'm used to the more-standard convention of a short comment first.
So, what can we do?
Moving the prologue's comment to another file would be bad. Comments
should be
Darshit Shah wrote:
> I just noticed that the comment below states that the
> line **MUST** be within the first eight lines of the file. Assuming that this
> was just a minor oversight, I reported it.
Fixed like this. I'll let Paul remove this time-stamp stuff if he likes to.
2019-06-16 Bruno H
