Apparently, git add doesn't delete anymore...