I checked with a few others and it seems that the IRC channel seems to be inaccessible - anyone awake who can resolve that? Thanks Nicole