Rename formal4.hml to formal4.html