The changes in this commit were performed using the newly introduced update_copyright_headers.sh script.