rename the OfficialDocument.html