Hot take: The Fediverse owes more to AGPL than it does to ActivityPub.