{
  "pages_vol1": "pdfinfo paper/vol1-qualitative.pdf",
  "date_vol1": "mtime of paper/vol1-qualitative.pdf",
  "pages_vol2": "pdfinfo paper/vol2-experimental.pdf",
  "date_vol2": "mtime of paper/vol2-experimental.pdf",
  "pages_vol3": "pdfinfo paper/vol3-casebook.pdf",
  "date_vol3": "mtime of paper/vol3-casebook.pdf",
  "pages_total": "sum of pages_vol1..3",
  "cvl_graphs": "paper/cvl-cases.json, keys without the legend_ prefix",
  "vol3_cases": "paper/vol3-casebook.qmd, headings '## Case '",
  "built_date": "date of the build"
}