That doesn't require GPLv4 though. Anyone wanting to switch their project to the AGPL can just start releasing new versions under it. Existing code would be available as GPLv3 and the newer stuff under AGPL, same as the v4 scenario.