Discord news.

Discord has global problems.

This is not a problem with the SEDO.

As soon as the Discord is fixed, the SEDO server will work again.