My collection of plugins for the Philip IRC bot.