ion`;
        fetch(url)
          .then((response) => response.text())
          .then(
            (data) => (document.getElementById(containerId).innerHTML = data)
          );
      }

      function runTerminal({ name, script }) {
        const containerId = `${name}-terminal`;
        run({
          containerId,
          pauseInMs: 300,
          script,
        });
      }

      loadDocumentation({
        name: "pipeline",
        url: pipelineDocsUrl,
      });

      loadDocumentation({
       