[singpolyma3]

There's no difference between ARR copyright infringement and GPL copyright infringement. Either it is infringement or it is not.