If this is gone, delete it. Git history will know of its passing.