That's not what is in question. Of course if you someone has reason to comply with section 13 of the license, then users who download the code are having the co

That's not what is in question. Of course if you someone has reason to comply with section 13 of the license, then users who download the code are having the code distributed to them. The disputed claim is that users who interact with a remote program are, by that interaction, being distributed the program. The GNU AGPL itself explicitly disagrees with this; check its definition of "propagate" and "convey".