An IRC bot to make IRC more welcoming to new channel members