Function fetchJSON

scripts/static/js/manual.js:40–44

(url)

/* ---------------- Helpers ---------------- */
async function fetchJSON(url) {
  const r = await fetch(url, { cache: "no-store" });
  if (!r.ok) throw new Error(await r.text());
  return r.json();
}

function taskCardHtml(t) {
  const short = t.id.slice(0, 8);