Remove printManifestations.php, replaced by manifs.php