Well, this has gone very well!
I’m so happy to see the community being willing to support this effort, the infrastructure team and the GHC devs are going to be very pleased!
Since the ‘goal’ was met, we had some discussion about raising the goal amount. Unfortunately there’s no way to put a ‘stretch goal’ on the donorbox page, so I’ll just announce it here: if we could get the $8k that would enable us to further buttress our backup strategies with additional (and geographically distributed) hardware.
Thank you to those that have already donated! If you were on the fence, additional funds are still useful!