[gambit-list] Archives of the #gambit irc channel?