It appears like the issue is gone now. Beside that the server didn't crash but just timed out. If it happens again then try to poke a staff member or join us on slack as this will probably get noticed faster.