Switching from GPL to AGPL