Re: Comment conventions, adding an explicit Header.

[Stefan Monnier]

> Oh, it doesn't need to be there. I am wondering whether it *can* be
> there and iff it is, does it break everything.

These are just comments, so they won't break anything, no.
And yes, you can add them to your files.  But I think it'd be better to
find a way to make whateveryouredoing work on all files.

> I think the latter is nicer, that's all.

I'm pretty sure there's a way you can get "the latter" without having to
change the file.


        Stefan