Hi all, there are several simple files, for which a copyright notice looks overdone to me, specifically header and make files. I suggest to change their copyright to "The authors disclaim all copyrights and release this document into the public domain." Any objections? Regards, Harald