pushing the license to a separated @include'd file
was requested by you in your email
Oops! How quickly I forget :). Sorry for the back and forth, but today I
think my opinion today is correct, and my opinion last year was wrong :).
Let's keep the license text in the main source files, not @included.
Thanks again.