Right yes, provide their code licensed under AGPL, it's an important distinction, thanks.

What it doesn't ban people from doing is selling a service, which is different from their license that allows only non-commercial uses.