(crateName, toolchainTargets, currentTargets) {
    const modalEl = document.getElementById('modal-add-target');
    modalEl.style.display = "unset";
    const targetEl = document.getElementById("add-target");
    removeAllChildren(targetEl);
    for (const target of toolchainTargets.filter(t => !currentTargets.includes(t))) {
      const optionEl = document.createElement("option");
      optionEl.value = target;
      optionEl.appendChild(document.createTextNode(target));
      targetEl.appendChild(optionE