It's not actually Linux ISOs that they're pirating.