Red Hat's new patent troll weapon: GPL violation