<strong>Scheduler: </strong>{{ address | html_escape }}
<span style="color: var(--jp-ui-font-color2, gray)"> workers: </span>{{ workers | length }}
<span style="color: var(--jp-ui-font-color2, gray)"> cores: </span>{{ threads }}
<span style="color: var(--jp-ui-font-color2, gray)"> tasks: </span>{{ tasks | length }}
