ex.name));

      const tabAdminTargetsEl = document.getElementById("tab-admin-targets");
      if (crate.targets.length === 0) {
        const targetEl = document.createElement("div");
        targetEl.className = "p-4 text-sm text-gray-800 rounded-lg bg-gray-50 dark:bg-gray-800 dark:text-gray-300";
        targetEl.setAttribute("role", "alert");
        targetEl.appendChild(document.createTextNode(`No target specified for this crate. Documentation generation and dependency analysis will use the host targe