Documenting file renaming