Actually that one ended up with us demonstrating to Debian that they weren't GPL compliant either

Rob