Christoph, > Do we want to set the flag this late? If we do it a little earlier > it could replace the run_mutex similar to a patch Luke sent a while > ago. For now, yes. We could look at replacing the run_mutex later, but I'd prefer to keep it as-is for .25. Cheers, Jeremy