index.html: add IRC channel