we could take out the `@license` annotations, they add nothing
interesting to the doc. and add a "this file is part of..." block to the
very head of the files. then at least the phpdocumentor can not show
this redundant info for every class.