publishing it under AGPLv3