This also removes the outdated comments around authorship of each file. If there is still interest in this information, one can just look at the git history.