ok then, i'm fine with how things are right now
let me just add 1 more note: the mentioned discussion allows too many misunderstandings.
it leaves too unclear which things are syntactically _required_ and which are rules for _official_ parts.
and it discusses the options "forbid NULL comments" or "require NULL comment at the end of each file", but the option "allow it anywhere to be in a file" is a little underrepresented.
let me just add 1 more note: the mentioned discussion allows too many misunderstandings.
it leaves too unclear which things are syntactically _required_ and which are rules for _official_ parts.
and it discusses the options "forbid NULL comments" or "require NULL comment at the end of each file", but the option "allow it anywhere to be in a file" is a little underrepresented.