Linux is not an operating system
Please do not start the "GNU/Linux" pedantry now.
many Linux-based distros (“operating systems”) are not under US jurisdiction
Repackaging US software - and Linux-the-kernel and much of Linux-the-userland
is, obviously, US software - in Europe does not suddenly make US jurisdiction go away.