“China interfered constantly with GitHub to make it barely usable for Chinese residents: DNS poisoning, throttling, blocking subdomains. They don’t let us run our apps there. We shouldn’t ...