Rename retyping-ah.tex to retyping.tex