I suspect it went into the settlement payment. Wouldn't it be ironic if so many principled advocates of open source and supporters of the GNOME project had their funds paid directly to a patent troll by GNOME themselves?
- "I can confirm that we have not paid RPI or Leigh Rothschild for this settlement."
That statement still leaves a lot of people that they could have paid for that settlement (or paid RPI/Leigh for a different settlement).