They should have used AGPL then.