[goodpoint]

> Does this then prevent them from ever changing the license away from AGPL?

No, as long as they either remove the contributed code or distribute it in a way that is compatible with AGPL