An IRC bot for the ComSSA IRC channel