Rename formal research to formal.html