Comment by trq_

We're back up! It was about ~30 minutes of downtime this morning, our apologies if it interrupted your work.