Does everyone still agree
  - to put into the source files a license header that is consistent
    with the module description, and
  - to remove the statement from the documentation
    "The source files always say "GPL", but the real license
     specification is in the module description file." ?