dual license under AGPL-3.0 and PPL