Rename executive.html to formal.html