Rename formal.html to executive.html