[modokode]

Technically, it's only everyone but GNU that (re)distributes emacs with the generated code that violate GPL, so you are correct in not calling that particular part a problem.