Rename formal3 to formal3.html