Red Hat's new patent counterclaim: GPL violation · HackerTrans