Anonymous: I'm not sure what your point is, nor where anyone is "mistaken". Yes, there was copyright infringement, we admitted as much.

When we learned of this, we immediately rectified the situation, by removing the infringing code. As you can see from the comment above your own (as well as his own site), the copyright holder, Jon Lech Johansen, is quite satisfied. Thus, the matter is resolved.