> Yes, GPLv3 was meant to fight Tivoization, but it never anticipated providers providing services on an OSS product without contributing significantly
Well, the so-called "service provider loophole" was certainly well-known when GPLv3 was drafted. That's why AGPLv2 was created some years prior. IIRC early GPLv3 drafts contained AGPL-style language, but several of the companies involved in the GPLv3 drafting process (such as Google) objected, and those clauses were withdrawn from the final GPLv3.
Well, the so-called "service provider loophole" was certainly well-known when GPLv3 was drafted. That's why AGPLv2 was created some years prior. IIRC early GPLv3 drafts contained AGPL-style language, but several of the companies involved in the GPLv3 drafting process (such as Google) objected, and those clauses were withdrawn from the final GPLv3.