The page was generated by a one-off script that no longer exists, so a text
change meant rebuilding the tooling first. build/build.mjs turns
whitepaper.md into index.html byte-for-byte as published; the page chrome and
the two diagrams are checked in beside it (the folder needs an exception from
the generic build/ ignore rule). README.md records the publishing steps for
both mirrors and the editorial decisions the text follows.
