Source code for ircbots we use in our channel, and Python IRC library (AGPL3)