This was not a copyright claim, the tools that were being hosted in one place (Github) allowed widespread infringement. The tool is not banned. Like cameras are not banned. It's a stupid comparison.