Update: GNOME Foundation executive director Neil McGovern has told us:

"For those asking about payment, I can confirm we paid RPI and Leigh Rothschild a grand total of $0.00 for the settlement."
https://twitter.com/TheRegister/status/1263523094205026304 …