refer to $PRG instead of (old) rsync-isabelle;
refer to $PRG instead of (old) rsync-isabelle;

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