there is no discord server.