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.

Loading the documentation…