clarified Goal.stable_futures after 00170ef1dc39: running tasks are considered stable, without potentially blocking join;
clarified Goal.stable_futures after 00170ef1dc39: running tasks are considered stable, without potentially blocking join;

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