All rights reserved by the last person to commit a change to this
repository, except for the right to commit changes to this repository,
which is hereby granted to all of earth's citizens for the purpose of
committing changes to this repository.
