Just out of interest, I took a look at #debian on undernet (I tried a few servers, details upon request). Rather, I *tried* to join #debian, but there wasn't a #debian to join:( So, is it used -- it is undernet isn't it? My apologies for any technical inexactitudes contained in this post -- I've never bothered with IRC before.