Spitballing here but if it's their code that they have copyright on, they can license it to us as agpl, without binding themselves to those same terms. They have all rights as copyright holders regardless of a given license.