An IRC bot written in Python 3.