> The source code to the program doesn't even do them any good. They cannot use that to prevent harms perpetrated by the operators of that application.
It does. It means they can run their own instance instead of being permanently tied to the operator of the service. It means they can modify and run the software.
> They don't have the source code because they don't have to program at all in any form.
That is sophistry. For the type of software AGPL is designed for the functionality provided is the same as it would if they had their own install. It is called "software as a service" for a reason.
The reason the AGPL exists is because the rise of SAAS has made the distinction you are making meaningless.
> They don't have the source code because they don't have to program at all in any form.
Users of GPL software do not "have to program". The point is they can. The same is true with AGPL.