Function fetchFileCached

Support/SingleFileLibs/javascript/app.js:283–289

(ref, path)

  }

  async function fetchFileCached(ref, path) {
    const key = `${ref}:${path}`;
    if (state.fileContentCache.has(key)) return state.fileContentCache.get(key);
    const text = await fetchText(rawUrl(ref, path));
    state.fileContentCache.set(key, text);
    return text;
  }

  async function buildSingleLibraryHeader(libraryName, ref, tree) {
    const ctx = {