When a personnel file is updated with new information, what should be done with the superseded document?