Rename formalresearch2 to formalresearch2.html