Simply because the majority of copyright cases are handled privately, it doesn't mean that is the only option. In a situation like this, where "no profit" is part of the issue, a private lawsuit for monatary damages would probably not be productive and would be expensive for the original copyright holders.
I suspect (but do not know one way or the other) that the DIKU team is also limited to not profitting from the DIKU code. which may impact their ability to consider monatary damages in a civil case.
Sombalance
|