A question for open source licensing nerds out there: has anyone ever been taken to court over a GPL violation for anything other than the requirements involving the mere availability of source code?