refer to cygwin mirror with static copy of setup.ini; tuned;
refer to cygwin mirror with static copy of setup.ini;
tuned;

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