switch license to AGPLv3