Function triggerDownload

Support/SingleFileLibs/javascript/app.js:420–432

(filename, text)

  }

  function triggerDownload(filename, text) {
    const blob = new Blob([text], { type: 'text/plain;charset=utf-8' });
    const url = URL.createObjectURL(blob);
    const a = document.createElement('a');
    a.href = url;
    a.download = filename;
    document.body.appendChild(a);
    a.click();
    setTimeout(() => {
      URL.revokeObjectURL(url);
      a.remove();
    }, 0);
  }

  async function downloadAllZip() {
    downloadAllBtn.disabled = true;