Rename formal.html to formal research