Are we doing individual changes to the copyright header (instead of just pointing to the AUTHORS file)? I know we have in the past and I also know we have avoided it in the past...I'm not sure how much it matters but it needs some decision, I think.