does anyone know what happenned to irc.openprojects.org and also irc.debian.org? I haven't been able to connect to either server for several weeks know. thanks Mark