exclude gzipped files from document model, to avoid confusion about actual file name and content;
exclude gzipped files from document model, to avoid confusion about actual file name and content;

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