Muck Troubles

If anyone's having troubles connecting to the muck, try using 70.190.215.53 instead of the muck.nimhmuck.org hostname. The port number (4567) is the same. Seems that there's been some DNS issues.