I would be in favor of smaller header comments, but I think we should
clearly define (and try to enforce) a standard way to write it and if
possible migrate old files over.
Agreed. My only request is that we do so in a way which only takes one line.
We have 80 characters to choose a license. Let's do it wisely.