What were those IRC servers which are available over ipv6? I've found eu.irc6.net but I can't even ping6 it from my freenet6.net tunnel. Incidently, is there an archive of this mailing list? The threaded one appears to have vanished and the flat file appears to end in 1998.