Generate more readable html filenames in archive

Change-Id: I11c5c83c064b79a48b44404f0eadcd2b7e731aa6