removed obsolete PackageDoc := rec( Archive )