<div dir="ltr">Hi all!<div>Once a worker has been permanently retired, how does one remove it from the list of workers in the web interface?</div><div><br></div><div>Thanks,</div><div>Dan</div></div>