I don't think we need it. As you say, we have it in the Git history.