removed obsolete dry-run option; just one archive for heaps, with the full cumulative collection (proper dependencies for rebuild);
removed obsolete dry-run option;
just one archive for heaps, with the full cumulative collection (proper dependencies for rebuild);

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle