An IRC bot written in Python3