An public-domain IRC bot written in Python