IANAL either but just to be pedantic, in theory I don't see what stops them from no longer distributing old versions under AGPLv3. Having distributed it at one point under GPL doesn't force them to continue doing so forever.

Of course that would be pointless as anyone who forked before the license change could continue re-distributing under AGPLv3.