[19:40] PR operator#733 opened: modify Harness.set_leader to be more robust, less finicky