The article doesn't mention if they've contacted the FSF about the violation. Looks like they may be able to provide some assistance, particularly if any of the code is directly copyrighted to the FSF.

http://www.fsf.org/licensing/compliance

https://www.gnu.org/licenses/gpl-violation.html