8c6cfb7
Use small license headers in the Python files 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.