2020-09-01: site downtime

[Cory5412]

Hello everybody,

I'm sure everybody is aware, but just for the record here -- the site was down for several hours today. To the best of my knowledge, roughly 12 hours from 8 a.m. to 8 p.m. (GMT -7).

I don't have the exact details yet, one of us will update update when we have an opportunity.