1) The AGPL is philosophically well founded, the GPL is arbitrary.
2) The AGPL enforces an arbitrary distinction, the GPL does not.
I might have better stated it as "I agree the AGPL removes the tension, I think the AGPL is philosophically coherent. But the FSF still primarily pushes the GPL. [transclude prior comment]"
You say "How, and where, can you draw the line between those things?", when the AGPL does precisely that and the GPL refuses to.
I'm not trying to criticize, here, I'm trying to understand...
The AGPL is elegantly precise - anything you do to the code becomes public.
The bad is elegantly precise - anything you do is fine.
GPL is complicated and inelegant - some things are fine while their near equivalent actions aren't.
Edited to clarify