We’ve moved to a new host for the community Minecraft server. The new arrangement allows us to get better performance at a much lower cost.
Until we can get the DNS configuration completed, please use the IP address and port given on the wiki to access the server.