semi-official IRC bot