> as soon as you incorporate even a tiny bit of AGPL code in your mostly-GPL project, users have to treat it as an AGPL project.

… or else disentangle the parts, selecting only GPL parts. But yeah, if treating it as a project, AGPL covers it.