TODO list:

* Convert copyright file to machine-readable format.