Are the Tor IRC channels routinely logged somewhere? A lot of the discussion about today's releases happened there rather than on the lists and there were a couple of good quotes. Cheers, h