How censoring China’s open-source coders might backfire