<!-- a temporary file. Can and should be deleted when found -->