cold-start HOME is user.home, in accordance with Cygwin-Terminal.bat;
cold-start HOME is user.home, in accordance with Cygwin-Terminal.bat;

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