Rename Formalresearch.html to formalresearch.html