A well-mannered but not well-behaved useful IRC bot.