Oooh, I've saved and linked pages with the WayBack Machine, but I haven't searched for one before. I thought the old file was lost, but now I agree that this is a waste of time since the original file is still accessible (and is easily copied and pasted, being a text file).