Pirating Linux ISOs is legal, though.

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

Piracy is by definitin illegal, no?