Nobody who actually uses that discord server would have been shocked, since it was widely, repeatedly and loudly announced on it that they were moving to the official server months ago.