An IRC bot based on Cinch