Anyone know what's up with some of the irc servers? irc.openprojects.net in particular is unreachable, and has been for several days that I know of.