Re: Comment conventions, adding an explicit Header.

[Stefan Monnier]

> Indeed.  These will not currently be treated as sections. I could make
> them so.

That would be good, since that's a common case and it also agrees with
the official convention (which says that anything that starts with
"^;;;+ [^ \n]" is a sectioning comment).

> All good feedback. Can I conclude that so far there would be no show
> stopping problem with adding a ";;; Header:" line where it was wanted?

I must say I don't like the idea of adding ";;; Header:" to every Elisp
file, no.  At least not without a very strong argument for it.


        Stefan