Rename formal.htmal to formal.html