ignore some administrative files on newer Mercurial versions as well;
ignore some administrative files on newer Mercurial versions as well;

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