recover implicit thread position for status messages (cf. eca8acb42e4a);
recover implicit thread position for status messages (cf. eca8acb42e4a);

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