The world's most polite IRC bot.