Normally the copyright holder has to take them to court to enforce copyleft licenses like the AGPL. Hopefully we will soon find out if users can also enforce it, as a 3rd party beneficiary under contract law.