(?:`)?(?:this`file`was`added`by`clea`f\.`rees`on`2008`11`30`with`the`permission`of`dean`guenther`and`pointers`to`this`file`were`added`to`all`source`files\.)?(?:`)?unlimited`copying`and`redistribution`of`each`of`the`files`is`permitted`as`long`as`the`file`is`not`modified\.`modifications,`and`redistribution`of`modified`versions,`are`also`permitted,`but`only`if`the`resulting`file`is`renamed\.(?:`)?(?:.{,5000})(?:`)?