Rename fomal3.html to formal3.html