Rename files to support latexdiff.
Update doc number.