inverted "Freeze" to "Follow", which is the default; update unconditionally;
inverted "Freeze" to "Follow", which is the default;
update unconditionally;

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