obsolete -- Poly/ML images are maximally shared already, home-grown compression wastes space and time;
obsolete -- Poly/ML images are maximally shared already, home-grown compression wastes space and time;

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