@nominom@ohai.social I might be mistaken but isn't Element server software (synapse mainly) dual licensed under AGPL and their own proprietary license? The government may be willing to open source their components in AGPL, right?