Again, look at how distros handled DeCSS back when that was an issue. There were just “unofficial” 3rd party repos hosted in places that didn’t care about US crypto laws.

Who cares? The source is there. Do it anyways. DeCSS was technically illegal for ages in the US. VLC (not hosted in the US) still contained it to play DVDs.

“Not allowed” and “Can’t” are two VERY different things.

Just do it anyways, fuck what he wants.

Sure you can. Absolutely nothing actually prevents it.

I canceled ongoing donations to several projects based in the US and stated that my reasons for doing so was US policy against my country. It doesn’t matter if the dev or project lead supports those policies or not, I refuse to contribute to the US economy if I can at all help it.