Linux is free? You couldn’t pirate it if you tried