Rename formal to formal.html