> it was using code from another developer without permission.

To be precise, as I wrote, it's about Autodocs, so documentation, not code. That's not to say this would make a difference regarding distribution rights, though.