Are there any precedents for this side of the GPL being enforced? How would you even know, or prove, in the first place that a company was running a modified v

Are there any precedents for this side of the GPL being enforced? How would you even know, or prove, in the first place that a company was running a modified version of the GPL'd source on their servers?