Update archive-ase_docs.php