Update: Here's the direct donation link if anyone else wants to chip in. They have just over 20k of the ~33k needed.

https://www.paypal.com/donate/?hosted_button_id=EDZSS68C4CHW...