misc tuning and clarification (NB: settings are already local for named snapshots/releases);
misc tuning and clarification (NB: settings are already local for named snapshots/releases);

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