So the other question is: does this terms of service grant Github implicitly the right to make a derivative work and sell that as a service?