A few simple plugins for the Philip IRC bot.