PSA: the GenZedong Matrix server is back up!

As of the time of writing, we haven't received a status update from the server host. Comment here if you want to be notified when it's back online.