ument.createTextNode(`host: ${worker.descriptor.toolchainHost}`));
      detailsEl.appendChild(document.createElement("br"));
      detailsEl.appendChild(document.createTextNode(`versions: ${worker.descriptor.toolchainVersionStable}, ${worker.descriptor.toolchainVersionNightly	}`));
      detailsEl.style.display = "none";

      const buttonMinus = '<svg xmlns="http://www.w3.org/2000/svg" fill="none" viewBox="0 0 24 24" stroke-width="1.5" stroke="currentColor" class="size-6"><path stroke-linecap="round" str