licensed code under AGPLv3 and satisfied licensing reqs of included code