worker_next: plain signalling via work_available only, not scheduler_event; scheduler: tuned worker pool adjustments;
worker_next: plain signalling via work_available only, not scheduler_event;
scheduler: tuned worker pool adjustments;

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