/* placeholder — restore full file from server backup if needed */