add mention of the IRC channel to the front page