Do we know what license that's under? We're distributing with John's copyright added, and the source doesn't appear to specify a license..