[benhurmarcel]

But then the infringement is done by the person who publishes that output, not by the text editor that copies the code.