Loading the documentation…
This page is
README.md, rendered by
src/markdown.ts — the same file, through the same renderer,
that the editor shows under Help → Documentation. Copying the
prose into a website would have started drifting from the program the
first time either was edited.
Keel