Accidentally took these from the new-license-page branch.