All eight are plain HTML, inline SVG and
vanilla JavaScript, with no framework, no bundler and nothing loaded from a CDN. The
numerical curves come from
docs/figures/make_figures.py
and the proof graph from
docs/extract.py, both of which
read the manuscript directly.