Comment on How do we know the government doesn't just have a secret hardware backdoor in all our devices?