I'm currently packaging the csound manual now for debian. As part of the 
process, I need to check all copyright notices and licenses, but the manual 
is somewhat a mess in this respect: most files don't have any copyright 
assignment. There is the copyright notice that gets output in the manual 
itself, but I find it confusing: why aren't the people listed as authors at 
the front page named there? Are they the only contributors? Some pages have a 
Credits section. Maybe this could be interpreted as a copyright statement?

So... what I guess I'm asking for is a clarification of the copyright and 
licensing status of the manual.

-- 
Felipe Sateler