Licensing under AGPLv3.